function msg(m)
{
	var msgbox = document.getElementById("message");
	msgbox.innerHTML = m;
}