awk '{$0=3.5*$1}1'