Source position: HTMLtree.inc line 65
function htmlSaveFileFormat(
filename: PAnsiChar;
cur: htmlDocPtr;
encoding: PAnsiChar;
format: cint
):cint;