function writeHTML(a){document.write(a);}