HASH(0x7f5ceedeaa20)