function ajax_load(src) {
	script_element = document.createElement('script');
	script_element.type = 'text/javascript';
	script_element.id = 'ajax_loader';
	script_element.charset = 'ISO-8859-1';
	script_element.src = src;
	head = document.getElementsByTagName('head')[0];
	script_element_old = document.getElementById(script_element.id);
	if (script_element_old) {
		try {
			head.removeChild(script_element_old);
		} catch(x) {}
	}
	head.appendChild(script_element);
}