document.write (" 7976 ");