function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

function to_home(){
			window.location = "index.php";
}

function on_over(button_name, current_button){
	current_button.src = button_name + '.gif';
}