document.write (" 6972 ");