HASH(0x7f5ccc0d0bf8)