A restaurant called Royal Hall.