for i in (seq 80000 10 80100); time wget --content-disposition --trust-server-names "http://195.74.94.36/cgi-bin/rechtsprechung/document.py?Gericht=$argv[1]&nr="(seq $i (echo "$i+9"|bc))"&Frame=4&.pdf"; end