单选题 有以下程序：
#define H1 5
#define H2 H1+1
#define H3 H2*H2／2
main()
int s＝0，k＝H3；
while(k--)s++；
printf("%d/n"，s)；

程序的输出结果是 ( )