#!/bin/sh
WORLD=2
LEVELS="7 8 9 15"

for l in $LEVELS; do
	cp world2/level${l}.dat world1/ORIG.level${l}.dat 
	cat world2/level${l}.dat | awk -f fixlevel.awk > /tmp/$$
	mv -f /tmp/$$ world2/level${l}.dat
done