function o(name) { return document.getElementById(name); }
function s(name) { return o(name).style; }

///*
function setClass(el,cl) {
  try {
    o(el).className = cl;   
   } catch(e) {
    o(el).setAttribute('class',cl);
     } 
  }
  //*/

if (window.parent != window) {
  window.parent.location.href = window.location.href;
  }