<!DOCTYPE html> <html> <body> <?php echo str_replace("world", "Dolly", "Hello world!"); ?> </body> </html>