File content as of revision 0:1057bcaeaab9:

#include "mbed.h"
#include "ID12RFID.h"

ID12RFID rfid(PTD2); // uart rx
Serial pc(USBTX,USBRX);

int main()
{
    int fobflag;
    while(1)
    {
        switch(rfid.read())
        {
        case 22311780:
            pc.printf("Hi, Matt\n");
            wait(3);
            fobflag = 0X01;
            break;
        case 22352757:
            pc.printf("Hi, Peter\n");
            wait(3);
            fobflag = 0X02;
            break;
        case 22319109:
            pc.printf("Hi, Kirill\n");
            wait(3);
            fobflag = 0X03;
            break;
        case 22312052:
            pc.printf("Hi, Hao\n");
            wait(3);
            fobflag = 0X04;
            break;
        }
    }
        
    
//    pc.printf("Hello World\n\r");
//    while(1) {
//        if(rfid.readable()) {
//            pc.printf("RFID Tag number : %d\n\r", rfid.read());             
//        }
//    }
}