HASH(0x7f5ca91be8d8)