function setnewheight(newH)
{
        document.index.style.height = newH+'px';
}

function setnewwidth(newW)
{
        document.index.style.width = newW+'px';
}

function defocus()
{
        self.focus();
}