document.write (" 7972 ");