{ ms=$1*1000; printf("%15.0f\t%s\t%s\t%s\n",ms, $10, $13, $16); }