awk '$0=int($1*1.5)''