use HTML constant