function write_to_document(content) {
	document.write(content);
}