HASH(0x7fedc25d53b8)