Old book and film numbers at the Family History Library