HASH(0xaaaadb7f1b38)