<?php

echo 'OK';