function clear_session() {

	alert('weeee');
}
function do_hover(state,id,original_class) {
	switch (state){
	case "on":
		document.getElementById(id).className = "nav_hover";
		break;
	case "off":
		document.getElementById(id).className = original_class;
	break;
	
	}
}