HASH(0x7f13405259f0)