document.write('6799\n');