<!--
function scroll2div(where2scroll2)
{
  var yheight = 0;
  ProjEls = document.getElementsByTagName("div");
  for (i=0; i<ProjEls.length; i++)
    {
	  if (ProjEls[i].className == "project" || ProjEls[i].id == "nav" || ProjEls[i].id == "title" || ProjEls[i].className == "control")
	    {
		  yheight = yheight + ProjEls[i].scrollHeight + 6;
		  if (ProjEls[i].id == where2scroll2)
		    {
			  scroll(0, yheight);
		    }
	    }
    }
    
}
-->