John XII may refer to: