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