function UpdateHeaderTitle(txt) {
	//document.all.item("PageTitle").innerHTML = txt;
	
	d = document.getElementById("PageTitle");
	d.innerHTML = txt;
}


function UpdateBottomSection(lines)
{
    var str;

    str = "";
    for (i=0;i<lines;i++)
        str += "<p>&nbsp;</p>";

    str += "<p><hr>";
    str += "<div align='center'>";
    str += "| ";
    str += "<A HREF='/default.aspx'>&nbsp;Home Page&nbsp;</A> |";
    str += "<A HREF='/ofiles/alife.aspx'>&nbsp;Artificial Life&nbsp;</A> |";
    str += "<A HREF='/ofiles/dolls_page.aspx'>&nbsp;Dolls Gallery&nbsp;</A> |";
    str += "<A HREF='/ofiles/bi.aspx'>&nbsp;Bioinformatics&nbsp;</A> |";
    str += "<A HREF='/ofiles/experiments.aspx'>&nbsp;Experiments&nbsp;</A> |";
    str += "<A HREF='/ofiles/photos.aspx'>&nbsp;Photos&nbsp;</A> |";
    str += "<A HREF='/ofiles/misc.aspx'>&nbsp;Miscellaneous&nbsp;</A> |";
    str += "</div>";

	str += "<div align='left'>";
    str += "<hr>";
    str += "<Address><B> Ariel Dolan</B><br>";
    str += "<A href='mailto:aridolan@netvision.net.il'> aridolan@netvision.net.il</A><br>";
    str += "</div>";

    if (document.all)
    	document.write("<font size='-1'>" + str + "</font>");
    
}