// JavaScript Document
function rpc_call(url)
  {
   var hlavicka = document.getElementsByTagName('head')[0];
   var dataLoader = document.getElementById('scriptLoader');
   if(dataLoader) hlavicka.removeChild(dataLoader);
   script = document.createElement('script');
   script.id = 'scriptLoader';
   script.src = url;
   x = document.getElementsByTagName('head')[0];
   x.appendChild(script);
  }

