function setFocus(element_id){
    document.getElementById(element_id).focus();
}