use html extension