HASH(0x7f5ceccc17e8)