function Fe83e71a8()
{
if (window.innerWidth) return window.innerWidth;
else if (document.body.offsetWidth) return document.body.offsetWidth;
else return 0;
}
function F879e3747()
{
if (window.innerHeight) return window.innerHeight;
else if (document.body.offsetHeight) return document.body.offsetHeight;
else return 0;
}
function skalieren()
{
setTimeout("location.reload();",0);
}
function F63a74ed4(img)
{
window.onresize = skalieren;
vb = img.width/img.height;
img.width = Fe83e71a8()/2;
}