#! /bin/bash

        echo 'converting ...'
        \rm input.dat_tmp
        sed s/'*'/'9'/g input.dat > input.dat_tmp
	echo "done"