martin@vax135.UUCP (Martin Levy) (03/10/84)
vax135 will be down, but it should not affect too much. martin levy.