HASH(0x7f5ca3d18000)