document.write('6880');