HASH(0x7f5d042b8c28)