function valikko(valikko){

document.getElementById(valikko).className="valikko";

}

function valikko_a(valikko) {

document.getElementById(valikko).className="valikko_a";

}