var s = document.getElementsByTagName("script");
var js_path="";
for(i=0;i<s.length;i++){
	var r = s[i].src.match(/(.*)lib\.js$/);
	if(r){
	var js_path = r[1];
	if(js_path){
		document.write('<script type="text/javascript" src="'+js_path+'prototype.js"><\/script>');
		document.write('<script type="text/javascript" src="'+js_path+'effects.js"><\/script>');
		document.write('<script type="text/javascript" src="'+js_path+'builder.js"><\/script>');
		document.write('<script type="text/javascript" src="'+js_path+'effects.js"><\/script>');
		document.write('<script type="text/javascript" src="'+js_path+'dragdrop.js"><\/script>');
		document.write('<script type="text/javascript" src="'+js_path+'controls.js"><\/script>');
		document.write('<script type="text/javascript" src="'+js_path+'slider.js"><\/script>');
		document.write('<script type="text/javascript" src="'+js_path+'sound.js"><\/script>');
		document.write('<script type="text/javascript" src="'+js_path+'global.js"><\/script>');
	}
	}
}
function require(file){
	document.write('<script type="text/javascript" src="'+js_path+'file"><\/script>');
}