How to know whether the user's system is win 7 32 bits or 64 bits ...