HASH(0x7f5cfdef15b0)