infatti quella parte è inutile, poteva avere un senso con l'evento mouseout, ma con l'evento mouseleave è inutile perche il "target" sarà sempre il div. Inoltre event.srcElement se non ricordo male non è crossbrowser quindi dipende anche da che browser stai utilizzando.

Un altra cosa che ti semplifica molto la vita, ai metodo invece di passare l'indice che poi usi per identificare l'id, passa direttamente l'oggetto stesso usando "this"

MOver(this)

function MOver(ct) {
ct.style.border = "5px double black";
}

stesso discorso per l'altro metodo.