class DipendenteConStraordinari extends Dipendente {
				    private $ore_straordinario;
				    private static $retribuzione_straordinaria=10.0;
				    
				  public function __construct($matricola, $nominativo, $anno_assunzione,
				                              $livello_retributivo,$ore_straordinario) {
				    $this->setMatricola($matricola);
				    $this->setNominativo($nominativo);
					$this->setAnno_assunzione($anno_assunzione);
				    $this->setLivello_retributivo($livello_retributivo);
					$this->setOre_straordinario($ore_straordinario);
				  }
				
				  public function setOre_straordinario($ore_straordinario) {
				    $this->ore_straordinario = $ore_straordinario;
				  }
				  public function setRetribuzione_straordinaria($retribuzione_straordinaria) {
				    self::$retribuzione_straordinaria=$retribuzione_straordinaria;
				  }
				  public function getOre_straordinario() {
				    return $this->ore_straordinario;
				  }
				  public function getRetribuzione_straordinaria() {
				    return self::$retribuzione_straordinaria;
				  }
				  public function toString() {
				    $ret=parent::toString().
				         " di cui " . $this->getOre_straordinario()*
				                      $this->getRetribuzione_straordinaria().
				         " per straordinari ";
				    return $ret;
				  }
				  public function stipendio() {
				    return parent::stipendio()+$this->getOre_straordinario()*
				                   $this->getRetribuzione_straordinaria();
				  }
				}
				

				    $dipendente2 = new DipendenteConStraordinari("XY987","Bianchi Mario", 1998, 3, 15);
				    echo $dipendente2->toString();