// JavaScript Document
function get(url, target)
{
    var req = getXMLHttpRequestObject();
    if(req)
    {
	req.onreadystatechange = function() 
		{
		if (req.readyState == 4) 
			{
			document.getElementById(target).innerHTML = req.responseText;
			tinyMCE.execCommand('mceAddControl', false, 'content_update');
			tinyMCE.execCommand('mceAddControl', false, 'content_add');
			tinyMCE.execCommand('mceAddControl', false, 'content_nl');
			} 
			else 
			{
			document.getElementById(target).innerHTML = "<div id=\"ajax_loader\"><table border=\"0\"><tr><td><img src=\"img_iconies/ajax_loader_search.gif\"> </td><td> Processing... please wait.</td></tr></table><div>";
			}
        };
	req.open("get", url, true);
	req.send(null);
    }
    else alert("Request failed.");
}