HASH(0x7fa8ee59f1f0)