HASH(0x7fa9ec7cc0c8)