de PHP para HTML