print '', escapeHTML($_), '';