// JavaScript Document
	function show_it(element){
		element.className += "hover";
	}
	/*$hide_timer=[];
	function hide(element){
		if($hide_timer[element.id])clearTimeout($hide_timer[element.id]);
		$hide_timer[element.id]=window.setTimeout("hideIt("+element+")",700);
		
	}
	*/
	function hide_it(element){
		element.className = element.className = "";
	}
