HTML name given to input type