HASH(0x7f5cddeafe10)