HASH(0x7f5ce424c878)