document.write("\n");
document.write("\n");
document.write("\n");
document.write("\n");
document.write("if(window.shuffle_pub==undefined) { window.shuffle_pub = function(o){ for(var j, x, i = o.length; i; j = parseInt(Math.random() * i), x = o[--i], o[i] = o[j], o[j] = x); return o; }; }\n");
document.write("if(window.bannerposArray257==undefined) { window.bannerposArray257 = new Array();}\n");
document.write("window.bannerposArray257.push('1253');\n");
document.write("var bannerArray1253 = new Array\(\);\n");
document.write("var myCount1253=0;\n");
document.write("// Banner Code Assignment\n");
document.write("bannerArray1253[0] = \"
\";\n");
document.write("bannerArray1253[1] = \"
\";\n");
document.write("bannerArray1253[2] = \"
\";\n");
document.write("\n");
document.write("\n");
document.write("window.bannerposPos1253=1253;\n");
document.write("function bannerRotate1253\(\) {\n");
document.write("\n");
document.write("if\(self.viewlimit1253 && viewlimit1253 == \"OK\"\)\{");
document.write("if\(myCount1253 > bannerArray1253.length-1\){myCount1253=0;}\n");
document.write("\n");
document.write("// Write out rotation\n");
document.write("var myelement = document.getElementById(window.bannerposPos1253);\n");
document.write("myelement.innerHTML=bannerArray1253[myCount1253];\n");
document.write("\n");
document.write("setTimeout\(\"bannerRotate1253\(\)\", 10000\);\n");
document.write("myCount1253++;\n");
document.write("}\n");
document.write("}\n");
document.write("\n");
document.write("window.isloaded = false;\n");
document.write("var nowOnload = window.onload;\n");
document.write("window.onload = function () {\n");
document.write("if(!window.isloaded) {\n");
document.write("window.isloaded=true;\n");
document.write("var copyar = window.bannerposArray257.slice(0);\n");
document.write("for(ban in window.bannerposArray257) {\n");
document.write("eval(\"window.bannerposPos\" + copyar[ban] +\"=\" + window.bannerposArray257[ban]);\n");
document.write("eval(\"bannerRotate\" + copyar[ban] +\"()\");\n");
document.write("}\n");
document.write("if(nowOnload != null && typeof(nowOnload) == 'function') {\n");
document.write("nowOnload();\n");
document.write("}\n");
document.write("}\n");
document.write("}\n");
document.write("// -->\n");
document.write("\n");