function areaid($field, $value)
	{
		global $AREA;
		return $AREA[$value]['name'];
	}