document.write('1427\n');