HASH(0x7f5ce50f6de8)