HASH(0x7fedc2ca19e0)