echo("bonjour");