// JavaScript Document
button_hover=new  Image();
button_hover="images/button.gif" ;

function hoverButton(element){
	document.getElementById(element).style.cursor='pointer';
	document.getElementById(element).style.backgroundImage='url('+button_hover+')';
	document.getElementById(element).style.fontWeight='bold';
}

function outButton(element){
	document.getElementById(element).style.backgroundImage='';
	document.getElementById(element).style.fontWeight='normal';
}

function reDirect(location){
	window.location=location;
}