Forum Post: How can I batch update the users' email address after changing the domain name ?

If I change the domain name form abc.edu.hk to ms.abc.edu.hk, how can I batch update the users' email address from xxx@abc.edu.hk to xxx@ms.abc.edu.hk ? Thanks