HASH(0x7fabf8257c60)