/**
 *
 * @access public
 * @return void
 **/
function setAjaxBox(reLpos, width, height){
	var pobj = document.getElementById(reLpos);
	var pos = getPos(pobj);
	if (document.getElementById) {
	    ajaxBox = document.getElementById("ajaxbox")
  	} else if (document.all) {
	    ajaxBox = document.all.ajaxbox
   }

   ajaxbox.innerHTML = '<div style="margin:10"><img src="images/ajaxloader.gif"> Ansicht wird geladen</div>';
   ajaxBox.style.left  = pos.left-150;
   ajaxBox.style.top = pos.top+20;
   ajaxBox.style.width = width;
   ajaxBox.style.height = height;
   ajaxBox.style.display = "block";
}

function grabAsync(url) {
        HTML_AJAX.grab(url,grabCallback);
}

function grabCallback(result) {
        document.getElementById('ajaxbox').innerHTML = result;
}