just how many spider-themed heroes are there?