function navighover(obj) {
  obj.style.backgroundColor='#CCCCCC';
}
function navignormal(obj) {
  obj.style.backgroundColor='#E5E5E5';
}