document.write('6777');