Перенаправление страницы через определенное время PHP

Есть определенная функция PHP для перенаправления через некоторое время. Где-то видел, но не могу вспомнить. Это похоже на перенаправление Gmail после входа в систему. Пожалуйста, не мог бы кто-нибудь напомнить мне?