pagnition in util.inc.php