while /bin/true;
   do
   if [ -f zeta_zeros.tmp ]
  		   then
  		   p=`sed -e 's/^\([0-9]*\),\([0-9]*\),\([0-9]*\),.*$/( \1 - \2 ) * 10000 \/ \3/' < zeta_zeros.tmp | xargs expr | sed -e 's/\(.*\)\([0-9][0-9]\)$/\1.\2%/'`;
  		   if [ x`echo $p| cut -d '.' -f 1` = x ]
  		 		   then p=0$p;
  		   fi;
  		   if [ "x$p" != "x$p0" ] ;
  		 		   then echo -ne "\r$p" ;
  		   fi;
  		   p0=$p;
   else
  		   echo -ne "\rNothing in progress"
   fi;
   sleep 1;
done