Zeven duikers aan de Noordhollandschkanaaldijk.