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