HASH(0x7f5cac3b8f50)