document.write('2412\n');