function go_to_url (locatie) {
 window.location = locatie;
}