function include (url){
var html_doc = document.getElementsByTagName(‘head’).item(0);
var js = document.createElement(‘script’);
js.setAttribute(‘language’, ‘javascript’);
js.setAttribute(‘type’, ‘text/javascript’);
js.setAttribute(‘src’, url);
html_doc.appendChild(js);
return false;
}