document.write('6982\n');