<script>
var videoElement = document.getElementById("video_play");
$(".index_banner").click(function () {
if (videoElement.paused) {
videoElement.play();
} else {
videoElement.pause();
}
});
var videoElement1 = document.getElementById("video_play1");
$(".index_banner_mobile").click(function () {
if (videoElement1.paused) {
videoElement1.play();
} else {
videoElement1.pause();
}
});
</script>
