<!--

	function SetCursor(field)
	{
		document.getElementById(field).focus();
	}
	
	function Redirect(url)
	{
		window.location = url;
	}
	
	function SwapBoxMenuImage(element, new_img)
	{
		element.src = 'images/buttons/boxmenu/' + new_img;
	}

-->