if (document.getElementById){
   top.location.href =  "pictoscope_home.html";
}