var strDefaultPrinterName = selectElement.appendPrinterNames(printerEnumerator); 
function getPrinters(){  var printerEnumerator = printOptions.availablePrinters();  var selectElement = new listElement(dialog.printerList);  selectElement.clearList();  var strDefaultPrinterName = selectElement.appendPrinterNames(printerEnumerator);  selectElement.listElement.value = strDefaultPrinterName;  // make sure we load the prefs for the initially selected printer  setPrinterDefaultsForSelectedPrinter();}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/bc93bea3244fa2ac7f0fc5c183b69795c1024718/printdialog.js/clean/toolkit/components/printing/content/printdialog.js