<?php

header('Content-Type: text/plain; charset="UTF-8"');

echo "Hello, world!\n";