document.write('(1240)');