0) { $row = pg_fetch_array ($sth, 0); return $row[0]; } } ?>