if(typeof window.jQuery == "undefined") (function(){ 
if ( typeof jQuery == "undefined" ) (function(){ 
if(typeof window.jQuery == "undefined") (function(){
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/c8bd6e0a4aef14ad4808a63fc106849918ea4666/intro.js/buggy/src/intro.js