HASH(0x7fabf8275688)