var BASE_URL = '/';
                
function jsImport(src){
           var head = document.getElementsByTagName('head')[0];
           var strSrc = src.replace(/\/js\//, "_");
           var scriptTag = document.getElementById(strSrc);
           if(scriptTag) {
                          return false;
                         }
           var scriptElem = document.createElement('script');
           scriptElem.src=BASE_URL+src;
           scriptElem.type="text/javascript";
           scriptElem.id = strSrc;
           head.insertBefore( scriptElem, head.firstChild);
           return false;
                }
jsImport('js/rating.js');
jsImport('js/highlight.js');