function load_javascript_url( url ) {
	var script_elt = document.createElement("script");
	script_elt.src = url;
	script_elt.type="text/javascript";
	document.getElementsByTagName( "head" )[0].appendChild( script_elt ); 
}