    <!--
    /*
	
	Source: Doc JavaScript
	(http://www.docjavascript.com)
	
	Edited: 08.22.00
	:: josh@mahoney.com
	*/
	if (document.images) {
	  var about = new Image(); 
	  about.src = "images_nav/about.gif";
	  var about_on = new Image(); 
	  about_on.src = "images_nav/about_over.gif";
	  
	  var prod = new Image(); 
	  prod.src = "images_nav/prod.gif";
	  var prod_on = new Image(); 
	  prod_on.src = "images_nav/prod_over.gif";
	  
	  var gallery = new Image(); 
	  gallery.src = "images_nav/gallery.gif";
	  var gallery_on = new Image(); 
	  gallery_on.src = "images_nav/gallery_over.gif";
	  
	  var purchase = new Image(); 
	  purchase.src = "images_nav/purchase.gif";
	  var purchase_on = new Image(); 
	  purchase_on.src = "images_nav/purchase_over.gif";
	  
	}
	
	function on(imgName) {
	  if (document.images) 
	    document[imgName].src = eval(imgName + "_on.src");
	}
	
	function off(imgName) {
	  if (document.images)
	    document[imgName].src = eval(imgName + ".src");
	}
    //-->