function intro() {
document.write(' \n');
}
function cabecera() {
document.write(' \n');
}
function cabecera2() {
document.write(' \n');
}
function servicios() {
document.write(' \n');
}
function button1() {
document.write(' \n');
}
function button2() {
document.write(' \n');
}
function enviado() {
document.write(' \n');
}