document.write('4270\n');