<?php

echo "to je to12345";

?>