HASH(0x7f5cac1f1db8)