1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12

#include<stdio.h>
int main() {
	int c,x=1;
	while((c=getchar())!=EOF) {
		if(c=='"') {
			printf("%s",x?"``":"''");
			x=!x;
		} else
			printf("%c",c);
	}
	return 0;
}