document.write('6772\n');