smart cards for e7450

Hi


I have latitude E7450 with contactless smart card reader. i'd like to buy a card for that, but I don't know which tyle. I know there are cards like:

• standard Unique 125 kHz
• standard HID 125kHz
• standard HID iClass 13,56 MHz
• standard Philips Mifare 13,56 MHz
• standard Philips iCode 13,56 MHz

I'd like to crypt my hard drive with bitlocker and logon to my laptop.
Can yopu tell me which card I should buy?