Codice PHP:
$orig_pagin = isset($_GET['pagin']) ? $_GET['pagin'] : null;
$_GET['pagin'] = 0;
include (
'libro.php');
$_GET['pagin'] = $orig_pagin