<!DOCTYPE html>
<html>
<body>

<?php
echo setlocale(LC_ALL,"US");
echo "<br>";
echo setlocale(LC_ALL,NULL);
?>
  
</body>
</html>