window.onload=function()
{
 var distance;
 distance=document.getElementById('content').offsetHeight-document.getElementById('navigation').offsetHeight+110;
 document.getElementById('credits').style.marginTop = distance+"px";

 var link, string;
 link=window.location.href.substr(window.location.href.lastIndexOf("/")+1);
 if (link=='') {link="index.html";}
 if (link.lastIndexOf("_")) { link=link.substr(link.lastIndexOf("_")+1); }
 if (document.getElementById("english")) { document.getElementById("english").href = 'eng_'+link; }
 if (document.getElementById("german")) { document.getElementById("german").href = link; };

}