HASH(0x7f5cac4e2f28)