HASH(0x7f5ca59da0c0)