Qualcuno sa indicarmi quali comandi devo inserire in una pagina html per avere il refresh della stessa ogni 5 secondi (per esempio!).