<!--

function checksize_flash()
{

var flashwidth = document.body.offsetWidth - 192;

if (flashwidth > 862)
{
flashwidth = 862;
}

eval ("document.getElementById('topflash').style.width = '"+flashwidth+"px'");


}


-->