<!--
	var pressed = "";
	var oldnormimage = "";

	function on_over(theimage, thename){
		if (document.images)
			if (thename != pressed) {
			      oldnormimage = document.images[thename].src;
			      document.images[thename].src=theimage;
    			}
	}

	function on_out(thename){
		if (document.images)
			if (thename != pressed) {
      				document.images[thename].src=oldnormimage;
    			}
	}
// -->