awk '$0*=3.5'