#include <stdio.h>
int main(int argc, char * argv[]) {
printf("\033[1003z");
fflush(stdout);
int width, height;
scanf("%d,%d", &width, &height);
printf("Terminal is %dx%d\n", width, height);
}