Minor update to the random seeding section.We now have a document number.