HASH(0x7fee16d91da8)