window.onload=function(){
highlight();
}