".$HTTP_SERVER_VARS["SERVER_NAME"].""; echo "

---

"; echo strftime("%x %X"); ?>

---