The period of custody of a baby girl after her mother has been divorced lasts until she is