HASH(0x7fedfeca2280)