HOW TO: Format an Aladdin eToken Pro