if( typeof($ef) == "undefined") {
    document.write('<script type="text/javascript" src="/scripts/jquery.js"><\/script>');
}