se hai una pagina .html questa non esegue il codice in php.. a meno che tu non l'abbia cofnfigurato.. :P prova a salvare la pagina in .php... e vedrai che funzionerà...
p.s: non echo "ciao; ma echo "ciao";