<!--
if(document.images) {
    pics = new Array();
    pics[1] = new Image();
    pics[1].src = "../images/nav_purchase_over.gif";
    pics[2] = new Image();
    pics[2].src = "../images/nav_books_over.gif";
    pics[3] = new Image();
    pics[3].src = "../images/nav_culture_over.gif";
    pics[4] = new Image();
    pics[4].src = "../images/nav_contact_over.gif";
    pics[5] = new Image();
    pics[5].src = "../images/nav_news_over.gif";
    pics[6] = new Image();
    pics[6].src = "../images/nav_clear_over.gif";
	 
	var timeoutID;
  }
    function picChanger(to) {
		if(document.images) {
    	document.images['holder'].src = pics[to].src;
		clearTimeout(timeoutID);
    
    	}
	}
  	function delayPic(to){
		clearTimeout(timeoutID);
		timeoutID = setTimeout("picChanger(" + to + ")", 400);
	}
//-->