awk '$0=$1*4'