HASH(0x7f7aaf315b10)