function menu(objID)
{
	var obj = document.getElementById('menu'+objID);
	if (obj.style.margin == '0px 0px 0px -143px')
	{
		obj.style.margin = '0px 0px 0px 0px';
	}else{
		obj.style.margin = '0px 0px 0px -143px';
	}
}