HASH(0x7fede1af9510)