document.write (" 6971 ");