HASH(0x7f5cfad128f8)