var isIE = (navigator.appVersion.indexOf("MSIE") != -1) ? true : false;
var isSwfEnabled = false;
var ran_number=Math.floor((Math.random()*3) + 1);
var xhtmlContent = "";
var Content7 = "";
var Content8 = "";
//var alternateContent = "![](\"graphics/nonflashhome.gif\")
";
//var noflash = "![prox_home](/movies/prox_home"+ran_number+".jpg)
";
var noflash = "";
// Output big splash picture prox_home[1-3].jpg, flash version disabled
document.write(noflash);