helgdagar ) , 7,19 r . lii.