function heighter() {
var h = document.getElementById('content').offsetHeight;
document.getElementById('gr').style.height = h + 'px';
}