HASH(0x7fedc8008440)