function toggleVisibleMenu(id)
{

  var array = new Array("tcs","code27");


  for ( var x = 0; x < array.length; ++x )  
  {
    var e = document.getElementById(array[x]) ;


    e.style.display = (array[x] == id) ? "" : "none" ;
  }
}

function setColor(id,over) {
  var e = document.getElementById(id) ;
  e.style.color = over? 'red': '#0000ff' ;
}

function mDown(url) {
	window.location = url;
}