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