HASH(0x7f5cd7fc53e8)