document.write('4266\n');