function addDestination($label,$style,$a=0,$b=0,$c=0)
    {
        // associates the given label with the destination, it is done this way so that a destination can be specified after
        // it has been linked to
        // styles are the same as the 'openHere' function
        $this->numObj++;
        $this->o_destination( $this->numObj, 'new', array( 'page' => $this->currentPage,
                                                           'type' => $style,
                                                           'p1' => $a, 'p2' => $b, 'p3' => $c ) );
        $id = $this->numObj;
        // store the label->idf relationship, note that this means that labels can be used only once
        $this->destinations["$label"] = $id;
    }