Ok, questo problema l'ho risolto (o meglio, l'ho aggirato ...).
Però adesso non riesco a bloccare la riproduzione del video; ho provato con:
codice:
ns.stop(videofile);
ma il filmato continua imperterrito...