<?php
  print("Hello {$world}");
?>
