if(typeof(jQuery) == 'undefined') {
  document.write('<script type="text/javascript" src="/resource/jquery/jquery-1.4.2.js"></script>');
}