// JavaScript Document
	var flg=0;
				
	/* Just two buttons are provided for here. Substitute your own
	   .gif names for those shown here.  If they are kept in a
	   subdirectory, be sure to include the path. */
				
	function lightIt(){
	 if (flg==0){
	  document.aa.src="images/eyeball1.gif";
		}
	 else{
	  document.aa.src="images/iball.gif";
		}
	}
				
	function dimIt(){
	 if (flg==0)
	   document.aa.src="images/iball.gif";
	}
				
	/* We've shown the button action as a change of page to a
	   different HTML document, using the "location.href=" line
	   in each of the two cases.  You may substitute any action
	   you wish, such as an alert or whatever, for that line,
	   if you wish to remain on the same page after the button
	   click. */
	function dumpIt(){
	 if (flg==0){
	  document.aa.src="images/iball.gif";  // replace with depressed button
	  setTimeout("document.aa.src='images/eyeball1.gif'",250); // Wait 1/4 sec and raise
	  location.href="#table";
	  }
	}