#include <stdio.h>
int main(int argc, char *argcv[])
{
printf("This is ISO-8859-1 encoded <EFBFBD>\n");
return 0;
}