HASH(0x7f5cc51a88d8)