HASH(0x7fabf3bad9e0)