Cách nào đúng để include 1 file "time.inc" ?

<?php require("time.inc"); ?>

<?php include_file("time.inc"); ?>

<% include file="time.inc" %>

<!--include file="time.inc"-->