function addScript(url) {
	  var s = document.createElement('script');
	  s.type = 'text/javascript';
	  s.charset = "UTF-8";
	  s.src = url;
	  document.getElementsByTagName('head')[0].appendChild(s);
	}