startPage.setElementValue(document.getElementById("mailnewsStartPageUrl")); 
  restoreDefaultStartPage: function()  {    var startPage = document.getElementById("mailnews.start_page.url");    startPage.value = startPage.defaultValue;  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/b34e74db0c4de68d9a6d79417580774f24c081b8/general.js/clean/mail/components/preferences/general.js