<?php

print("Hello {$world}");

?>