HASH(0x7fa9a95ad2d0)