function menu_execLink(s) 
{
		location.href = s;
}