concatenation in html attributes