void printx();