function focusElement(elementId){
    element = document.getElementById(elementId);
    if (element != null) 
        element.focus();
}