sS jlabel_textAsHTML_center(S text) { ret "

" + replace(htmlencode2(text), "\n", "
") + "

"; }