Hi, I can convert you as1 files to as3, but if you plan to convert that to html5 then it would be better to directly replicate what you have to html5, I can do that too, I would like to check the files which need to be converted to provide a budget. I've been working with flash for 14 years, currently building desktop and mobile applications.
My best regards,
Oscar