document.write('4271\n');