#my $cmd = 'pdftohtml ' . $filename_pdf . ' ' . $filename_html . ' -nof
#+rames -c -i >/dev/null' ;
#system("$cmd");
my @args = ( $filename_pdf, $filename_html, 'noframes', '-c-, '-i' , '>', '/dev/null' );
system ('pdftohtml', @args);
####
$pid = open(MP, "| mplayer @options init.mpg >/dev/null 2>&1 ");