Utils.getElementAt = function(index) { 
Utils.getElementAt = function(index, location) { 
Utils.getElementAt = function(index) {    // Convert to a number if we're dealing with a string....    index = index - 0;    if (Utils.getDocument().fxdriver_elements)        return Utils.getDocument().fxdriver_elements[index];    return undefined;};
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/3aa848daac3cf6b346c932bafbb7bfd763430786/utils.js/clean/firefox/src/extension/content/utils.js