awk '$0=$1/2'