# Quick-and-dirty HTML text encoding s_&_\&_g s_<_\<_g s_>_\>_g