HASH(0x56205778bd70)