document.write (" 6940 ");