HASH(0x7fedc25c0018)