Database: music_1
Question: What are the id of songs whose format is mp3.
SQL:
SELECT f_id FROM files WHERE formats  =  "mp3"