document.write('4121\n');