function preloadImages() { 
  img = new Array('images/button_flash_over.gif',
				  'images/button_html_over.gif');
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
  var i,j=d.MM_p.length; for(i=0; i<img.length; i++)
  if (img[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=img[i];}}
}