document.write(" 6940")