As long as the 32bit codecs have been installed and the player is working just fine, then there is nothing to be done in this case. In some cases, the 64bit codecs will be needed by media players that don't recognize the 64bit ones. As long as the codecs are installed correctly on your computer, then there is nothing to be done. Just open your favorite media player and play the files you already have.