HASH(0x7f5ce1ea4f30)