<!DOCTYPE html>
<html>
<body>
<?php
$x = "Hello World!";
echo str_replace("World", "Dolly", $x);
?>
</body>
</html>