HASH(0x7f7a80589ff8)