对下面的程序，运行5次，分别输入1、3、5，写出其运行结果。
         #include <stdio.h>
         main()
         { int x;
           scanf("%d",&x);
           switch(x)
           { case   1:
            case   2:   printf("x");
            case   3:   printf("%d",x);   break;
            case   4:   printf("%d",2*x);
            default: printf("OK!\n");
           }
         }   
输入1时，结果是：              
输入3时，结果是：              
输入5时，结果是：