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