Question: What are the id of all the files in mp3 format?
SQL: SELECT f_id FROM files WHERE formats  =  "mp3"