let nextfloor＝＝if estate.direction＝ "up" then estate.floor+1 else estate.floor-1 in