If document.getElementById() retrieves the tags and the text of an element, adding .innerHTML gives us its text.

Make sure to pick document.getElementById("platform"), followed by ., and finally innerHTML.