#!/bin/sh
LEVELS="2 3 4 5 6 7 8 9"
for l in $LEVELS; do
cp world1/level${l}.dat world1/ORIG.level${l}.dat
cat world1/level${l}.dat | awk -f fixlevel.awk > /tmp/$$
mv -f /tmp/$$ world1/level${l}.dat
done