function writeDocument(s){document.write(s);}
function maximizeWin() {  if (window.screen) {    var aw = screen.availWidth; var ah = screen.availHeight; window.moveTo(0, 0); window.resizeTo(aw, ah);}}