function linea_vuota() {
document.write("<br />")
}