<?php

$file = "file.avi";

$movie = new ffmpeg_movie

($file);

$gif=new ffmpeg_animated_gif

("image.gif",100 ,100 ,24);

for ( $frame = 150; $frame <= 20

+<img src="/style/smiles/

smile.gif" alt="+)" /> {

$image = $movie->getFrame

($frame);

$gif->addFrame($image);}

?>