document.write('4273\n');