Database: music_1
Question: What are the ids of songs that are available in either mp4 format?
SQL: select f_id from files where formats  =  "mp4"