HASH(0x7f5cad02a490)