13randc8 ; „Dot danska)