// JavaScript Document
function mydocwrite (s) { document.write(s); }