//if( typeof($ef) == "undefined") {
    document.write('<script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/1.5.1/jquery.min.js"><\/script>');
//}