Заменить height с JavaScript

Нажмите кнопку "Попробовать", чтобы изменить высоту элемента DIV: