( Trettonde dag Jul ).