HASH(0x7fb5e23f13c8)