<?php

echo "salut";