awk '$0=17*$1'