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