document.write('

(72)');