document.write(document_write);