function mascara_horario(horario){
   var myhorario = '';
   myhorario = myhorario + horario;
      if (myhorario.length == 2){
         myhorario = myhorario + ':';
         document.form01.f_horario.value = myhorario;
      } 
}