function showTable(url){
  xmlhttpPost(url, url , "ajaxUpdate" );
}
function ajaxUpdate(str){
  elm = document.getElementById('crane_table');
  elm.innerHTML = str
}