function map_over(f,fc1)
 {
  f.style.background="#ffffff"
  fc1.color = "red"
  
  fc1.bordercolorlight="#005384"
  fc1.bordercolordark="#ffffff"
  /*fc1.border-style:inset; */
 }
 
 function map_out(f,fc1)
 {
  f.style.background="#008de6"
  fc1.color = "#ffffff"
 /*fc1.bordercolorlight="#ffffff"*/
  /*fc1.bordercolordark="#005384"*/
 /* fc1.style.border-style:outset;*/

 }