document.write('256142\n');