iPhone 5 replacement comes with iOS6?

Hi,
I have an iPhone5 with that purple dot (not the know purple flare) and I want to take it to service. I wonder if they replace the iPhone5 if the new iPhone5 comes with iOS6 or 7?

Any experience on this?

Thanks
Oliver