document.write('6887')