Al posto di "ciao" mandi al buffer di uscita il codice HTML del pulsante.