// JavaScript Document
if (window.location.href.indexOf('SEMAOF7LURE')<0){
  document.write('<br><br>')
  document.write("<a href='SEMAOF7LURE_0_ov.html' class='red9'><img src='http://www.esa.int/global_imgs/buttons/back_to.gif' ")
  document.write(" border=0 alt=''></a>")
  document.write('<br>')
  }