	<!--
    /*
	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 pro = new Image(); 
	  pro.src = "images_nav/pro.gif";
	  var pro_on = new Image(); 
	  pro_on.src = "images_nav/pro_over.gif";
	  
	  var upcoming = new Image(); 
	  upcoming.src = "images_nav/upcoming.gif";
	  var upcoming_on = new Image(); 
	  upcoming_on.src = "images_nav/upcoming_over.gif";
	  
	  var support = new Image(); 
	  support.src = "images_nav/support.gif";
	  var support_on = new Image(); 
	  support_on.src = "images_nav/support_over.gif";
	  
	  var news = new Image(); 
	  news.src = "images_nav/news.gif";
	  var news_on = new Image(); 
	  news_on.src = "images_nav/news_over.gif";
	  
	  var tickets = new Image(); 
	  tickets.src = "images_nav/tickets.gif";
	  var tickets_on = new Image(); 
	  tickets_on.src = "images_nav/tickets_over.gif";
	  
	  var edu = new Image(); 
	  edu.src = "images_nav/edu.gif";
	  var edu_on = new Image(); 
	  edu_on.src = "images_nav/edu_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");
	    }
	}
	//-->