function showtip(tip){
document.tool.tip.value=tip
}
function changeScrollbarColor(C){
  if (document.all){
    document.body.style.scrollbarBaseColor = C
  }   
}