function add_char(char) { aaa.innerHTML.value = aaa.innerHTML.value + char; document.getElementById('aaa').focus(); }