HASH(0x7fedea569f38)