document.write('2406\n');