// JavaScript Document
  function WriteCell (idname, nr, col)
  {
    var string2w = '<font color="'+ col +'">'+ nr +'</font>' ;
    document.getElementById( idname ).innerHTML = string2w ;
  }