function toggleStyle(id, stylename){
  document.getElementById(id).className=stylename;
}