html and javascript translator for a small subset