Utils.fireMouseEventOn = function(element, eventName) { var event = Utils.getDocument().createEvent("MouseEvents"); 
Utils.fireMouseEventOn = function(location, element, eventName) { var event = Utils.getDocument(location).createEvent("MouseEvents"); 
Utils.fireMouseEventOn = function(element, eventName) {    var event = Utils.getDocument().createEvent("MouseEvents");    event.initMouseEvent(eventName, true, true, null, 1, 0, 0, 0, 0, false, false, false, false, 0, null);    element.dispatchEvent(event);}
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/3aa848daac3cf6b346c932bafbb7bfd763430786/utils.js/clean/firefox/src/extension/content/utils.js