These are 3 different HTML input “types”? (<input type="something">)