若有以下程序段：charstr[]=”ab/n/012///””；printf（“%d”，strlen（str））；该程序段的输出结果是（）