document.write (" 7940 ");