function high(e,bg,font,cursor){
if (cursor=='')cursor='hand';
e.style.backgroundColor=bg;
e.style.color=font;
e.style.cursor=cursor;
}

function unhigh(e,bg,font){
e.style.backgroundColor=bg;
e.style.color=font;
}