将HTML5 <video>作为背景设置为指定高度的div

可以通过以下步骤实现：

首先，在HTML文件中创建一个div元素，并设置其高度为指定的数值，如：

<div id="video-background" style="height: 500px;"></div>

接下来，将<video>标签添加到div中作为背景。为了使视频作为背景，需要设置一些CSS样式。在CSS文件中，添加以下样式：

#video-background {
  position: relative;
  overflow: hidden;
  z-index: -1;
}

#video-background video {
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: auto;
}

在这段CSS代码中，我们设置了div的定位为相对定位，将溢出内容隐藏，z-index设置为-1，这样可以将其放置在其他内容的后面。视频的定位为绝对定位，覆盖整个div区域，并且宽度设置为100%，高度自适应。

然后，在JavaScript文件中，为<video>元素添加属性和源文件。可以使用HTML5的video标签的属性来设置视频的各种选项，如自动播放、循环播放等。示例代码如下：

var video = document.createElement('video');
video.setAttribute('autoplay', '');
video.setAttribute('loop', '');
video.setAttribute('muted', '');

var source = document.createElement('source');
source.setAttribute('src', 'video.mp4');
source.setAttribute('type', 'video/mp4');

video.appendChild(source);
document.getElementById('video-background').appendChild(video);

在上述代码中，我们创建了一个video元素，并设置了autoplay、loop和muted属性，分别表示自动播放、循环播放和静音。然后，创建一个source元素，并设置视频文件的路径和类型。最后，将source元素添加到video元素中，再将video元素添加到div中。

完成以上步骤后，指定高度的div将作为背景展示HTML5视频。这种方法可以在网页中实现视觉效果丰富的动态背景，例如在宣传页面或主页上使用。