HASH(0x7fedc2569ec0)