function message(what){
	
	messageline = document.getElementById("message");
	if(what) messageline.style.display = "";
	else messageline.style.display = "none";

}