function RefreshMenu()
{
	if (window.parent.frames.length > 0)
	{
		var frm=window.parent.frames('left');
		if (frm.name == 'left')
		{
			frm.document.location=frm.document.location;
		}
	}
}