function boldIt(theText) {
   if (document.styleSheets) theText.style.color='red';
}
function unBoldIt(theText) {
   if (document.styleSheets) theText.style.color='white';
}
function redirect(thepage) {
   top.location.replace(thepage);
}