HASH(0x7f5d0052de50)