HASH(0x7fedde5d6498)