public string updateFilename()
{
if (this.webUpdateCheck.Document != null) {
HtmlElement he = this.webUpdateCheck.Document.GetElementById("download");
if (he != null) {
return Convert.ToString(Path.Combine(Constants.getUpdateFolder(), Path.GetFileName(he.GetAttribute("href"))));
}
}
return null;
}