HASH(0x7f13804f0de8)