function verander_foto(pagina,nummer)
{
    document.getElementById('foto_impressie').src = '/images/' + pagina + '_' + nummer + '.jpg';
}