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