HASH(0x7fa9e8567f68)