Source position: HTMLtree.inc line 64
function htmlSaveFileEnc(
filename: pchar;
cur: htmlDocPtr;
encoding: pchar
):cint;