Very easy PHP question

Hi!
Im making a coutdownclock in flash and it uses a php command to get the server time. I don´t know PHP and what to load a txt-file instead. The PHP code looks like this.

<?php
// echo “time=” . time();
// ?>

What do you get?

ex. time=2005-04-26-11:34

/Fomps