function menu_over(f,fc1)
 {
  f.style.background="#ffffff"
  fc1.color = "red"
  
  fc1.bordercolorlight="#005384"
  fc1.bordercolordark="#ffffff"

 }
 
 function menu_out(f,fc1)
 {
  f.style.background="#2062AD"
  fc1.color = "#ffffff"


 }