document.write ("6940");