function f () {
	d = document.getElementById('videodiw');
	d.style.display = '';
	d.src = "video.html";
}