/* Display text in the status bar */

function set(text) {
	window.status=text;
	return;
}
        
function clearText() {
	window.status= " ";
	return;
}