//If another site tries to display this page in a frame, get out.
if (parent.frames.length > 0) {
parent.location.href = location.href;
}

 function jumpMenu(targ,selObj,restore){ 
  if (selObj.options[selObj.selectedIndex].value != 'quick') 
    eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}

function togglestyle(objectid) {
    object = document.getElementById(objectid);
    object.disabled=true
    object.disabled=false;
}