document.write('6730\n');