function jsrs_call_server(scriptname,params,callback)
 {
  var g_intervalID;
  var head = document.getElementsByTagName('head').item(0);
  var old  = document.getElementById('lastLoadedCmds');
  if (old) head.removeChild(old);
  script = document.createElement('script');
  script.src = scriptname + "?callback=" + callback + "&" + params;
  script.type = 'text/javascript';
  script.defer = true;
  script.id = 'lastLoadedCmds';
  void(head.appendChild(script));
 }