夏休み

15～17日の３日間。まあ、全社員が３日なので別に文句はない。