// JavaScript Document

function changepic(id, newpic)
{
document.getElementById(id).setAttribute('src', newpic);
}
var myimages=new Array();
function preloadimages()
{
 for(i=0;i < preloadimages.arguments.length;i++)
{
 myimages[i]=new Image();
 myimages[i].src=preloadimages.arguments[i];
 }
}
preloadimages("nav/etusivu_over.gif", "nav/ohjelma_over.gif", "nav/liput_over.gif", "nav/info_over.gif", "nav/sijainti_over.gif");