{  long m;  for( m=0; getchar()!='@';【15】); retum m; }

(15)程序段:int x=12; double y=3.141593; printf("%d%8.6f",x,y);的输出结果是 （  ）。

A)123.141593  B)12 3.141593 C)12,3.141593   D)123.14159