HASH(0x7fedd450e7f8)