document.write('2787\n');