Utils.keyDownOrUp = function(element, down, text) { 
Utils.keyDownOrUp = function(location, element, down, text) { 
Utils.keyDownOrUp = function(element, down, text) {    var keyCode = text;    // We should do something clever with non-text characters    var event = Utils.getDocument().createEvent('KeyEvents');    event.initKeyEvent(down ? 'keydown' : 'keyup', true, true, Utils.getBrowser().contentWindow, 0, 0, 0, 0, keyCode, 0);    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