begin
down(N1 !N1)
end