if (typeof($) == "undefined"){
   if (window.google && window.google.load) {
       google.load("jquery", "1.4.2");
   }
   else { /* load jquery locally */ document.write(unescape("       %3Cscript src='/live/Java/jquery/jquery-1.4.2.min.js' type='text/javascript'%3E%3C/script%3E"));   }}