var ___element_cache;

function E(id)
{
	if (!___element_cache)
	{
		___element_cache = new Object;
	}

	var e = ___element_cache[id];

	if (!e)
	{
		e = Ext.fly(id);

		if (e)
		{
			___element_cache[id] = e.dom;
			
			return e.dom;
		}
	}
	else
	{
		return e;
	}
}

function redirect(url)
{
   var form = document.createElement('form');
   
   form.method = 'POST';
   form.action = url;
   
   document.body.appendChild(form);
   form.submit();   
};