document.write (" 6974 ");