document.write('2542\n');