I see - so is the Greek holiday just today? Is Athens market open tomorrow and Friday? Just curious.