What are the id of all the files in mp3 format?
select f_id from files where formats = "mp3"