HASH(0x7fedc85948f8)