HASH(0x7f5ccc140fe8)