Utils.keyDownOrUp(element, false, character); 
Utils.keyDownOrUp(location, element, false, character); 
Utils.type = function(element, text) {    var isTextField = Utils.isTextField(element);    var value = "";    if (isTextField)        element.setAttribute("value", value);    for (var i = 0; i < text.length; i++) {        var character = text.charAt(i);        value += character;        Utils.keyDownOrUp(element, true, character);        Utils.keyPress(element, character);        if (isTextField)            element.setAttribute("value", value);        Utils.keyDownOrUp(element, false, character);    }};
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/3aa848daac3cf6b346c932bafbb7bfd763430786/utils.js/clean/firefox/src/extension/content/utils.js