thats nothing to be concerned about.. pond fish get that commonly with age.. as fish age the color fade. i had a bright orange koi and as he grew he turned more yellow.

if their is black on the tips of their fins then you should be concerned, it might be fin rot...

good luck.

by the way your fish are beuties.