document.write('

(0pt)');