Sia il 9 che l'8, tutti i player e non solo i wmv nel mio caso, anche qualsiasi avi, mpg, divx..