{ printf("%s%s1/%d%d%.1f\n", $3, $10, $7, $5, $6); }