HASH(0x7fedea58d688)