// JavaScript Document

function writeToDocument (S)
{ document.write(S);}