题目背景

经过高中三年的努力学习，你终于来到了天宫大学（$\texttt{Tiangong University}$）。

题目描述

天宫大学的英文名是？

输入格式

本题无输入。

输出格式

输出一行一个字符串表示天宫大学的英文名（此事在题目背景亦有记载，注意大小写和空格）。

样例

<no input>

<a string>