HASH(0x7f5d042550d0)