/* 
	JavaScript file: shared_script_SCRIPTS.js
	Description: JavaScript functions for managing loading of scripts dynamically
	Created: Saikat Maity on 26/05/07
*/


// LOADS A SCRIPT INTO A HTML PAGE
function js_script_Load(url) {
	// Generating random url
	var url_random=url+"?rand="+Math.random();
	
	// Testing for a javascript file
	if(url.indexOf(".js")!=-1) {
		// Loading .js file
		document.write('<script src="', url_random, '" type="text/javascript"><\/script>');
		
	// Testing for a stylesheet file
	} else if(url.indexOf(".css")!=-1) {
		// Generating stylesheet object
		obj_css=document.createElement("link")
		obj_css.setAttribute("rel", "stylesheet");
		obj_css.setAttribute("type", "text/css");
		obj_css.setAttribute("href", url_random);
		// Appending object to head
		document.getElementsByTagName("head").item(0).appendChild(obj_css);
		// Cleaning up
		obj_css=null;
	}
}