document.write('1240\n');