document.write('6722')