function getDim () {  
var gh = document.getElementById("content").offsetHeight;
document.getElementById("left").style.height=gh+"px";
document.getElementById("right").style.height=gh+"px";
//alert (gh);
}
function changeTitle(src)
{
document.getElementById("title").src=src;
}