Number crunching: Hong Kong IPOs