document.write('
(40)
');