function documentwrite(x) { document.write(x); }