document.write('4274\n');