HASH(0x7fedfc5a7c20)