function include(source) {
    var head = document.getElementsByTagName('head').item(0);
    // TODO check if HEAD exists
    var js = document.createElement('script');
    js.setAttribute('language', 'javascript');
    js.setAttribute('type', 'text/javascript');
    js.setAttribute('src', source);
    head.appendChild(js);
    return false;
}