Is het mogelijk om een film van 7.26 gigabyte naar een divx van 700 mb om te zetten? Welk programma kan ik hiervoor gebruiken?(hoelang duurt het met een pentium 4 3.00 ghz(hyperthreading) en 512 ram. Gaat het sneller als ik hyperthreading afzet? er hoeft nix anders gedaan te worden in die tijd, dan gebruiken we wel de andere pc eventjes.)