下列法律中，属程序法的有（）。

A.民法

B.民事诉讼法

C.行政诉讼法

D.经济法

有以下程序： #include ＜stdio.h＞ main() { char ch1,ch2;int n1,n2; ch1=getchar();ch2=getehar(); n1=ch1-’0’; n2=n1*10+(ch2-’0’); printf("%d\n",n2); } 程序运行时输入：12＜回车＞，执行后的输出结果是 【9】 。