function setFlashWidth(divid, newW){
document.getElementById(divid).style.width = newW+"px";
}
function setFlashHeight(divid, newH){
document.getElementById(divid).style.height = newH+"px";
}
function setFlashSize(divid, newW, newH){
setFlashWidth(divid, newW);
setFlashHeight(divid, newH);
}
document.write('
');
document.write('');
document.write('
');
document.write('
');
window.onload = function() {
// This function is executed right after all the content on the page has been loaded. This avoids an Internet Explorer
// bug which causes a page to stop loading when the mouse is hovered over the flash movie and the effect is triggered.
var el = document.getElementById('videobanner');
if (el) {
el.style.display = 'block';
}
}