'; } document.write(s); }