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