小明有12本书、小丽的书比小明的一半多4本、小丽有几本书?