Permisi selamat malam semuanya!

Begini ane mau tanya nih, btw gimana caranya membuat file Gambar GIF Beranimasi dari sebuah file video (*.mp4, *.3gp, *.flv, dll) namun untuk ukuran resolusi file-nya kita yg menentukan sendiri, maksudnya besar nilai width dan height kita yg menentukan sendiri, dan kita sendiri jg yg menentukan pemotongan / gambar mau diambil mulai dari sumbu x (horizontal) = a px sampai b px dan mulai dari sumbu y (vertikal) = a px sampai b px (diketahui besar nilai a kurang dari nilai b / a < b) gitu gan?

mohon untuk para sesepuh master yg mengerti tentang kasus seperti ane tersebut, untuk memberikan segala masukannya di thread ane ini! Sebelumnya saya ucapkan banyak terima kasih!