awk ' { if($2 == "NGC")  
          printf" ngc/%04d\n",$3
      else if($2 == "IC") 
          printf"  ic/%04d\n",$3
      else if($2 == "Ruprecht") 
          printf" ru%03d\n",$3
      else if($2 == "Basel") 
          printf" bas%02d\n",$3
      else if($2 == "Hogg") 
          printf" ho%02d\n",$3
      else if($2 == "Trumpler")
          printf" tr%02d\n",$3
      else if($2 == "Pismis")
          printf" pis%02d\n",$3
      else if($2 == "Berkeley") 
          printf" be%03d\n",$3
      else if($2 == "King")
          printf" ki%02d\n",$3
      else if($2 == "Bochum")
          printf" bo%02d\n",$3
      else if($2 == "Collinder")
          printf" cr%03d\n",$3
      else if($2 == "Markarian")
          printf" ma%02d\n",$3
      else if($2 == "Czernik")
          printf" cz%02d\n",$3
      else if($2 == "Dolidze")
          printf" do%02d\n",$3
      else if($2 == "Roslund")
          printf" ros%02d\n",$3
      else if($2 == "Haffner")
          printf" haf%02d\n",$3
      else if($2 == "Lynga")
          printf" ly%02d\n",$3
      else if($2 == "Westerlund")
          printf" wes%02d\n",$3
} '