272 - TEX Quotes

#include<stdio.h>
#include<string.h>
int main(void)
{ int flag=0;
char c;
while((c=getchar())!=EOF)
{
	if(c=='"')
	{
		if(flag==0)
	{printf("``");flag=1;}
		else
		{printf("''");	flag=0;}
	}
	else printf("%c",c);
}
	return 0;}