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