IPO proceeds