COMPANY
[
LIB_COMPANY_NAME:z {<choice $z>}
]

LIB_COMPANY_NAME [
  [ ( a m r ) ( american airlines ) ( a a ) ] {return("AMR")}
  [ ( a t and t ) ( american telephone and telegraph ) ] {return("T")}
  aetna {return("AET")}
  alcoa {return("AA")}
  ( allied signal ) {return("ALD")}
  ( all state ) {return("ALL")}
  ( american express ) {return("AXP")}
  [ ( american international group ) ( a i g ) ] {return("AIG")}
  ( american stores ) {return("ASC")}
  ( ameritech ) {return("AIT")}
  [ ( archer daniels midland ) ( a d m ) ] {return("ADM")}
  ( bank one ?corporation ) {return("ONE")}
  ( bank america ?corporation ) {return("BAC")}
  ( bell atlantic ) {return("BEL")}
  ( bell south ) {return("BLS")}
  boeing {return("BA")}
  ( bristol myers squibb ) {return("BMY")}
  ( c v s ) {return("CVS")}
  ( cardinal health ) {return("CAH")}
  caterpillar {return("CAT")}
  ( chase manhattan ?[ corporation bank ] ) {return("CMB")}
  chevron {return("CHV")}
  cigna {return("CI")}
  [ ( city group ) ( city corp ) ] {return("C")}
  ( coca cola ) {return("KO")}
  ( columbia ?( h c a ) healthcare ) {return("COL")}
  ( compaq ?computer ) {return("CPQ")}
  conagra {return("CAG")}
  costco {return("COST")}
  ( dayton hudson ) {return("DH")}
  ( dell ?computer ) {return("DELL")}
  ( dow ?chemical ) {return("DOW")}
  ( duke energy ) {return("DUK")}
  ( ?( e i ) du pont ) {return("DD")}
  [ ( electronic data systems ) ( e d s ) ] {return("EDS")}
  enron {return("ENE")}
  exxon {return("XON")}
  [ ( f d x ) ( fed ex ) ( federal express ) ] {return("FDX")}
  ( fannie mae ) {return("FNM")}
  ( federated department stores ) {return("FD")}
  ( first union ?corporation ) {return("FTU")}
  ( ford ?( motor ?company ) ) {return("F")}
  ( fred meyer ) {return("FMY")}
  ( freddie mac ) {return("FRE")}
  ( g t e ) {return("GTE")}
  ( general electric ) {return("GE")}
  ( general motors ) {return("GM")}
  ( halliburton ) {return("HAL")}
  ( hartford financial services ) {return("HIG")}
  ( hewlett packard ) {return("HWP")}
  ( home depot ) {return("HD")}
  ( ingram ?micro ) {return("IM")}
  intel {return("INTC")}
  ( international paper ) {return("IP")}
  [ ( international business machines ) 
    ( i b m ) 
    ( big blue ) 
  ] {return("IBM")}
  ( j c penney ) {return("JCP")}
  ( j p morgan ?(and company) ) {return("JPM")}
  ( johnson and johnson ) {return("JNJ")}
  ( k mart ){return("KM")}
  kroger {return("KR")}
  ( lehman brothers ?holdings ) {return("LEH")}
  ( lockheed ?martin ) {return("LMT")}
  ( loews ) {return("LTR")}
  [ ( m c i ?worldcom ) ( worldcom ) ] {return("WCOM")}
  ( mckesson ?corporation ) {return("MCK")}
  ( merck ) {return("MRK")}
  ( merrill lynch ) {return("MER")}
  ( microsoft ) {return("MSFT")}
  mobil {return("MOB")}
  [ ( morgan stanley ?( dean witter ) ) ( dean witter ) ] {return("MWD")}
  motorola {return("MOT")}
  [ ( p g and e ?corporation ) ( pacific gas and electric ) ] {return("PCG")}
  [ pepsico pepsi ( pepsi cola ) ] {return("PEP")}
  ( pfizer ) {return("PFE")}
  ( philip morris ) {return("MO")}
  ( procter and gamble ) {return("PG")}
  ( ?( r j r ) nabisco ?holdings ) {return("RN")}
  ( raytheon ) {return("RTNB")}
  [ ( s b c ?communications ) ( southwestern bell ) ] {return("SBC")}
  safeway {return("SWY")}
  ( sara lee ) {return("SLE")}
  ( sears ?roebuck ) {return("S")}
  sprint {return("FON")}
  ( super value ) {return("SVU")}
  sysco {return("SYY")}
  texaco {return("tx")}
  ( texas utilities ) {return("TXU")}
  ( three m ) {return("MMM")}
  ( time warner ) {return("TWX")}
  [ ( u a l ) ( united airlines ) ] {return("UAL")}
  [ ( u s x ) ( u s steel ) ] {return("X")}
  ( united healthcare ) {return("UNH")}
  ( united technologies ) {return("UTX")}
  ( wal mart stores ) {return("WMT")}
  ( [ walgreen ( wall greens ) ] ?( drug stores ) ) {return("WAG")}
  ( ?walt disney ) {return("DIS")}
  ( wells fargo ) {return("WFC")}
  xerox {return("XRX")}
]