July 5th is NOT a holiday here at Kaiser in Denver, but then, we all get 4 floating holidays per year. -dtd * To join/leave the list, search archives, change list settings, * * etc., please visit http://raven.utc.edu/archives/hp3000-l.html *