#include <mc9s12dp512.h>   
void main(void)
  { 
    unsigned char mynum[]= "012345ABCD";
    unsigned char z;
    DDRB = 0xFF; 			
    for(z=0;z<10;z++)
      PORTB = mynum[z];
    while(1);			
  }