HASH(0x7fedda620d90)