HASH(0x7fedc25dbac0)