html file typed