<!--
function on(msg) {
	  window.status = msg;
}

function off() {
	  window.status = ""
}

//-->