// JavaScript Document
function enlargeHdtv()
{
var enlarge = document.getElementById("ds1").style;
enlarge.height ="500px";
return;
}

/*function resizeHdtv1()
{
setTimeout("resizeHdtv1()",50);
}*/

function resizeHdtv()
{
var normal = document.getElementById("ds1").style;
normal.height ="175px";
}