// JavaScript Document

if (document.getElementById('page').offsetHeight < 850)   document.getElementById('page').style.height = '850px';