document.write('6978\n');