hku 118.193.45.233 server is ok!!