function resizeFLASH(swfHeight)
{
	window.scrollTo(0,0);
	document.getElementById('swfheight').style.height = swfHeight;
}

function resizeFIXHOCH(fixHeight)
{
	document.getElementById('fixhoch').style.height = fixHeight;
}

function refresh()
{
	location.reload();
}