actually, i think i was wrong... >_< The first one is a hi utsuri, looks about 12 weeks old... the second one is a sanke, or tashio sanke by the look, and the last one is a kohaku, which is a fairly common yet revered breed.. the tashio sanke (2nd) and the utsuri (first) are both fairly valuable fish, and, on the right market might sell for anywhere between $8,000 and $20,000.
And beware of the butterfly breeds of koi... Japanese koi enthusiasts and breeders do NOT like these.. They may look flashy and elegant, but breeders prefer the traditional fins of the normal breed, as do I.