HASH(0x7fabf50e7c28)