<?php

function newbox($boxtitle,$boxcontent)
{

global $page;

$boxbase = $page->FetchTemplate("genericbox1");
$boxhtml = str_replace("{*boxtitle*}", "$boxtitle", $boxbase);
$boxhtml = str_replace("{*boxcontent*}", "$boxcontent", $boxhtml);

return $boxhtml;

}

function NUMBER($number, $decimals = 0)
{
  global $local_number_dec_point;
  global $local_number_thousands_sep;
  return number_format($number, $decimals, $local_number_dec_point, $local_number_thousands_sep);
}

function refresh($url)
{

echo "<meta HTTP-EQUIV=\"REFRESH\" CONTENT=\"0; url=$url\">";

}


?>