<!--
function markFeld(einfeld,farbe){
var obj;
  obj=document.getElementById(einfeld).style.backgroundColor = farbe;
  obj=document.getElementById('s'+einfeld).style.backgroundColor = farbe;
}

function entmarkFeld(einfeld,farbe){
    var obj;
  obj=document.getElementById(einfeld).style.backgroundColor = farbe;
  obj=document.getElementById('s'+einfeld).style.backgroundColor = farbe;
}
-->