/* Hoja reservada para la regla de identidad validada que inserta inicio_sesion.js. */