HASH(0x7fede66d2dc8)