function loadImages() {
if (document.getElementById) {  // DOM3 = IE5, NS6
document.getElementById('pre').style.visibility = 'hidden';
}
else {
if (document.layers) {  // Netscape 4
document.pre.visibility = 'hidden';
}
else {  // IE 4
document.all.pre.style.visibility = 'hidden';
      }
   }
}