HASH(0x7fede66a9070)