Gets the filename of the saved page.

string PageFileName {get;}