data class1;
        input phonenumber 22.;
        datalines;
        15800000000
        15800000001
        15800000002
        ;
run;
请问以上数据想表示为158-0000-0000格式，请问怎么用下列程序实现：
proc format;
   picture ...；
run;