HASH(0x7fedca56a690)