function write_control( text ) {
	document.write(text);
}