HASH(0x7fa9b437e4b0)