function frame(height)
{
document.getElementById("frame").style.height=height;
return true;
}