/* Random pictures for start page*/
<!--

var file=new Array 
file[0] = "ran/acc2006.png"
file[1] = "ran/accjo2030.png"
file[2] = "ran/Time1993d.png"
file[3] = "ran/fuas.png"
file[4] = "ran/irpudmod_ran_d.png"
file[5] = "ran/sasimod_d.png"
file[6] = "ran/conrail_red.png"
file[7] = "ran/acc3d.png"
file[8] = "ran/commuter3d.png"

function get_random()
{var randomNum=Math.floor(Math.random()*9); 
return randomNum;}

function put_pic()
{r = get_random();
document.ranpic.src=file[r];
setTimeout("put_pic()", 4000);}

-->