HASH(0x7f5cddff69f8)