//GESTIONE TASTO INVIO (per ricerca semplice e archivio)
var w3c = window.Event ? true : false
function ricercaW3C(e) {
    if (e.which==13) {
        cerca();
        return false
    } else { return e.keyCode }
}
function ricercaIE() {
    if(window.event.keyCode==13) {
        cerca();
        return false
    } else { return window.event.keyCode }       
}
window.onload = function() {
    //gestoreCSS()
    if (w3c) {
        //il campo della ricerca deve avere id="txt"
        if(document.getElementById("txt")) 
            document.getElementById("txt").onkeypress = ricercaW3C
        //il campo della ricerca in archivo deve avere id="txtarc"
//       if(document.getElementById("txtarc")) 
//       document.getElementById("txtarc").onkeypress = ricercaarcW3C
    } else {
        if(document.getElementById("txt")) 
            document.getElementById("txt").onkeypress = ricercaIE
//        if(document.getElementById("txtarc"))
//            document.getElementById("txtarc").onkeypress = ricercaarcIE
    }
}