function showTip(tip)
{
	//hide all
	$$('.tip').hide();
	
	//show
	$(tip).show();
}


function calendar(month)
{
	var calendarSize = $('calendar').getSize();
	
	var requestHTML = new Request.HTML({				   
		url: 'calendar.php', 
		method: 'get',
		data: { m: month },
		update: $('col2')
	}).send();	
}


function jump(select)
{
	var value = select.options[select.selectedIndex].value; 
	document.location.href = value;
}


function isMouseLeaveOrEnter(e, handler)
{		
	var reltg = e.relatedTarget ? e.relatedTarget : e.type == 'mouseout' ? e.toElement : e.fromElement;
	while (reltg && reltg != handler) reltg = reltg.parentNode;
	return (reltg != handler);
}