mint 2238 ** heduosmon ** {mint}.

~~~~~~