document.write('<script type="text/javascript" src="'+libraryName+'"></script>'); 
document.write('<script type="text/javascript" src="'+libraryName+'"><\/script>'); 
  require: function(libraryName) {    // inserting via DOM fails in Safari 2.0, so brute force approach    document.write('<script type="text/javascript" src="'+libraryName+'"></script>');  },
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/71161b07c747576b32ae8d5de6adbf8138b3fb13/scriptaculous.js/buggy/src/scriptaculous.js