function pageRefresh(showAlert){
    if(showAlert) alert('pageRefresh() called');
    window.location.reload();
}