document.write (" 7872 ");