<?php

echo("ahoj");