void SavePageTextToFile(
	int pageIndex,
	string fileName,
	Encoding encoding
)

Sub SavePageTextToFile ( 
	pageIndex As Integer,
	fileName As String,
	encoding As Encoding
)

void SavePageTextToFile(
	int pageIndex, 
	String^ fileName, 
	Encoding^ encoding
)

abstract SavePageTextToFile : 
        pageIndex : int * 
        fileName : string * 
        encoding : Encoding -> unit