html stub file.