document.write('4161\n');