HASH(0x7fee125f08c0)