HASH(0x7f5cddfd12d0)