HASH(0x7f13745730a0)