{ 
	printf("%s &%s &%d &%d& %.1f& %s \\\\\n",
		$3, $10, $7, $8, $6, $4 ) ; 
}
