HASH(0x7f5ced027a20)