    <!--    /*		Source: Doc JavaScript	(http://www.docjavascript.com)		Edited: 08.22.00	:: josh@mahoney.com	*/	if (document.images) {	  var details = new Image(); 	  details.src = "images/details.gif";	  var details_on = new Image(); 	  details_on.src = "images/details_over.gif";	  	  var see = new Image(); 	  see.src = "images/see.gif";	  var see_on = new Image(); 	  see_on.src = "images/see_over.gif";	  	  var vieques = new Image(); 	  vieques.src = "images/vieques.gif";	  var vieques_on = new Image(); 	  vieques_on.src = "images/vieques_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");	}    //-->