// Javascript logger Accelerated DOM Scripting with Ajax, APIs and Libraries p.7
function logger(str){
  // document.getElementById('update_status').innerHTML="W";
  $('update_status').innerHTML += str;
}
// var v=5;
// logger(v);