HASH(0x7f7a8058dee0)