HASH(0x7f5d0e8b12e0)