My brother will be dropping by sometime today. The last time he was here, I told him to bring his new Windows 8 Laptop so that I could install VLC Media Player in it. I later noticed that there is a 32-Bit version and a 64-Bit version of VLC Media Player. What is the quickest way to check whether my brother's Windows 8 Laptop has 32-Bit or 64-bit Windows 8 in it?