document.write('4192\n');