HASH(0x7f5cb42c19e0)