    <!--
    /*
	
	Source: Doc JavaScript
	(http://www.docjavascript.com)
	
	Edited: 08.22.00
	:: josh@mahoney.com
	*/
	if (document.images) {
	  var Wclose = new Image(); 
	  Wclose.src = "/images_nav/Wclose.gif";
	  var Wclose_on = new Image(); 
	  Wclose_on.src = "/images_nav/Wclose_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");
	}
    //-->