<?php

echo 'Hello World :-)';