How many different EHR systems are there?