HASH(0x7f5cea54c2d0)