#!/bin/bash

sed  -n '1,/<nav>/p' $1 | sed -n '/href="..\/prog\/js/='
# sed  -n '1,/<nav>/p' $1 | sed -n '/href="..\/js/='
# sed  -n '1,/<nav>/p' $1 | sed -n '/href="..\/..\/wetter\/whist/='