How Much Money Did Yahoo Make from the Alibaba IPO?

How Much Money Did Yahoo Make from the Alibaba IPO? When Alibaba went public in