<pre>on pushCard  global traceCartes  put the number of lines of traceCartes into x  if x is 0  then put the long name of this cd into line 1 of traceCartes  else put the long name of this cd into line x+1 of traceCartesend pushCard</pre>