<%/* Example: htmlattrdef("placeholder") */%> <%=$0%>