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