document.write('4112\n');