// ensure frameset is present
if (top.frames.length==0)
{
document.location.href="../DIVERS/Lecture.php?fichier="+location.pathname;
}