Potresti indicarmi nel DTD dell'HTML la descrizione dell'attributo DEFAULT per il tag INPUT?