$1%0]]> dfn source.php,text.html <dfn> text.html