although neither of them are very good. 'Pardon?' sounds a bit Hyacinth Bucket IMO, and 'What?' can sound rude.
What do you teach your DCs to say?
DS1 (3.5) seems to have adopted his own style of bellowing 'Can you say that a bit louder?' which may not be the ideal long term style.