<?php

setlocale("LC_TIME", $locale);
echo(strftime("%c"));
?>