#include <stdio.h> void main() { printf("Tiangong University"); )