HASH(0x71c46496aa38)