HASH(0x7fedfa654a50)