document.write('6721\n');