document.write('6880')