document.write('6787\n');