function navOver(theElement) { theSource = theElement.src; newSource = theSource.replace(/_pas_/,"_act_"); theElement.src = newSource; } function navOut(theElement) { theSource = theElement.src; newSource = theSource.replace(/_act_/,"_pas_"); theElement.src = newSource; } function resizeContent() { document.getElementById("contentdiv").style.height = '100%'; } //preload!! var myImages = new Array(); function preloadImages() { for (i=0;i

'); return false; }