document.write (" 7998 ");