if(widgetStylesPrinted != true) {document.write('');}var widgetStylesPrinted = true;var content = '
Hola mundo
php
  1. <?php echo "Hola mundo!"; ?>
';document.write(content);