html/uri encoding proerties to ease their output to html