$val){ $_SESSION[$restore] = $val; } } ?>