how many batmans are there