( Hotel Royal ).