document.write('6940');