I have noticed a comment on the change from ARDT to ARST (Daylight savings to Summer time). In Brazil we also call it Summer time, though I'm not sure what impact any change in the naming would have on existing systems. I thought I ought to note this to you, anyhow. -- Daniel C. Sobral (8-DCS) dcs@gns.com.br For an idea to be fashionable is ominous, since it must afterwards be always old-fashioned.