document.write('6777')