server-side HTML-embedded scripting language