document.write (" 7983 ");