Replace(); 
Replace(gDialog.ReplaceWordInput.value); 
function doDefault(){  if (gDialog.ReplaceButton.getAttribute("default") == "true")    Replace();  else if (gDialog.IgnoreButton.getAttribute("default") == "true")    Ignore();  else if (gDialog.CloseButton.getAttribute("default") == "true")    onClose();  return false;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/977804dce1ca57283e80822972098e046317b3e6/EdSpellCheck.js/buggy/editor/ui/dialogs/content/EdSpellCheck.js