HASH(0x7fee305aa070)