function load_ext_js( p_script_url ) {          
	script = document.createElement('script');
	script.src = p_script_url;
	document.getElementsByTagName('head')[0].appendChild( script );
}