// find an image pointer
function find_image(n,d){ var p,i,x; if(!d)d=document; if(!(x=d[n])&&d.all) x=d.all[n];
for(i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n]; for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=find_image(n,d.layers[i].document);
if(!x && d.getElementById) x=d.getElementById(n); return x;}
// preload the images
function preload_images(){ var d=document; if(d.images){ if(!d.imgpre) d.imgpre=new Array();
var i,j=d.imgpre.length,a=preload_images.arguments; for(i=0; i<a.length; i++)
if (a[i].indexOf("#")!=0){d.imgpre[j]=new Image; d.imgpre[j++].src=a[i];}}}
// swap an image
function swap_image(n,s){ var x=find_image(n); if(x!=undefined){ x.osrc = x.src; x.src = s; document.imgo = x;}}
// restore a swapped image
function restore_image(){ var x=document.imgo; x.src=x.osrc;}