function ajax_hoppa(url)
	{
	var jsel = document.createElement('SCRIPT');
	jsel.type = 'text/javascript';
	jsel.src = url;
	document.body.appendChild(jsel);
	}