function gotoPage(pageName)
{
var docFrame = document.getElementById('docframe');
docFrame.src=pageName+".htm";
}