#! /bin/csh -f

sed -e '1,$s/  1\.0000 0\.2000 0\.0000  0\.0[0-9]/  1.0000 0.2000 0.0000  0.0/g'
