What did East Pakistan change its name to in 1971?

What did East Pakistan change its name to in 1971?