// JavaScript Document
if (navigator.appName=="Netscape") document.body.style.height = document.body.scrollHeight;