<?php

header("content-type: text/plain");

echo 'OK' . PHP_EOL;

?>