English: Assigns the value of <code>navigation_ids</code> to the variable <code>$ids</code>. It then echos an unordered list of links (navigation) using <code>wp_list_pages()</code>.
Dutch: Wijst de waarde van <code>navigation_ids</code> toe aan de variabele <code>$ids</code>. Vervolgens echoot hij een ongeordende lijst van links (navigatie) met behulp van <code>wp_list_pagina's()</code>.