#include <stdio.h>
int main(void)
{
char a[1001];
int k=0,i,j,temp;
printf("请输入:\n");
for(i=0;i<1001;i++){
scanf("%c",&a[i]);
if(a[i]=='\n')
break;
}
printf("(\"");
for(i=0;i<1001;i++){
if(a[i]=='\n')
break;
else if(a[i]==';')
printf("\" OR \"");
else
printf("%c",a[i]);
}
printf("\")");
return 0;
}