HASH(0x7f5ca42dd9a8)