>>Is today some holiday in the US?
>
>Yes, it's called Labor Day.
OK, thank you. I understand Labor Day is May 1st. in most countries outside the US, including here in Bolivia.
Hilmar.
Difference in opinions hath cost many millions of lives: for instance, whether flesh be bread, or bread be flesh; whether whistling be a vice or a virtue; whether it be better to kiss a post, or throw it into the fire... (from Gulliver's Travels)