function trim(str)
{
	return str.replace(/(^\s+)|(\s+$)/g, "");
}

function showEditForm(form_name)
{
	document.getElementById(form_name).style.display = "";
}

function hideEditForm(form_name)
{
	document.getElementById(form_name).style.display = "none";
}

function menupointover(id)
{
	document.getElementById("menupoint"+id).src = menupoint_on.src;
}

function menupointout(id)
{
	document.getElementById("menupoint"+id).src = menupoint_off.src;
}