translate into HTML