document.write('6790\n');