If someone prayed amidah and he realized by chazaras hashas that he forgot to say al hanissim what should he do?