HASH(0x7f38880864d8)