HASH(0x7fede65fad10)