如何在HTML5中更改视频的播放速度？

/* play video thrice as fast */
document.querySelector('video').defaultPlaybackRate = 3.0;
document.querySelector('video').play();

/* play video twice as fast */
document.querySelector('video').playbackRate = 二;