document.write('6874')