// JavaScript Document
function servicio(opcion)
{
	document.getElementById("form_3").element_5.options[opcion].selected = true;
}
function textoFormulario(texto)
{
	document.getElementById("form_4").saveForm.value = texto;
}