Like
@addy1 I don't know one type of koi from another, but I doubt anyone can tell you much from those photos. You could google "types of koi" and find a chart that will list the varieties with descriptions - I think there are something like 12 or 13 distinct patterns that are listed.
I can tell you that some koi are just, well, koi. Most pond koi are probably just garden variety pretty fish. The ones that carry distinctive patterns that allow them to be classified are generally hundreds (or even thousands) of dollars. But no matter what kind of fish you have, you will love them and enjoy spending time with them all the same!