<!-- Begin
function rand(n){
 var now = new Date();
 var seed = now.getTime() % 0xffffffff;
 seed = (0x015a4e35 * seed) % 0x7fffffff;
 return (seed >> 16) % n;
}

function splashx(){
 if (document.images) document.images["splashx"].src = "images/indexpic" + rand(5) + ".jpg";
}
// End -->