happy patrick day

(from last year, and 3 days late this year)