<!-- Begin

function write_it(status_text) {
	// change the status bar text with text provided
	window.status=status_text;
}

// End -->