document.write('1242\n');