document.write('6775\n');