what is the total number of software whose programming language is html and operating system is firefox os ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbo_programmingLanguage dbr_HTML sep_dot var_uri dbo_operatingSystem dbr_Firefox_OS brack_close