HASH(0x7f5ca818df20)