HASH(0x7f5ca83dc2f0)