HASH(0x7fedd9a37d58)