<!-- Begin
function makeHeight() {
document.getElementById('warholder').style.height = y - (95) + 'px';
}

window.onload=makeHeight;
// End -->