document.write('6940')