HASH(0x7fa9d44b82a0)