function CC_go(form) 
	{
		var myindex=form.dest.selectedIndex;
		location = form.dest.options[myindex].value; 
	}

	function switchThis(docimage,up)
	{
		document.images[docimage].src=up;
	}
	
// unused as of 20041211
	function winopen(url,doctitle,winoptions) 
	{
		window.open(url,doctitle,winoptions);
	}
// unused as of 20041211
    function webform(page) 
	{
	  page = page.replace(/\s/,'_');
	  webwin = window.open('cgi-bin/webform.cgi?page=' + page,'','top=150,left=150,width=390,height=405,resizable=yes');
	}
// unused as of 20041211
    function segform() 
	{
	  webwin = window.open('cgi-bin/segform.cgi','','top=150,left=150,width=390,height=405,resizable=yes');
	}
// unused as of 20041211
    function subform(page) 
	{
	  page = page.replace(/\s/,'_');
	  webwin = window.open('cgi-bin/subform.cgi','','top=150,left=150,width=390,height=405,resizable=yes');
	}

// unused, written 20041211, see board.shtml for commented example of (very awkward) call of this
	function malencod( username ) 
	{
	  var atsign = "@";
	  var domain = "CCISstanfordU.org";

	  var addr = username + atsign + domain;
	  document.write( 
		"<" + "a" + " " + "href=" + "mail" + "to:" + addr + ">" +
		addr +
		"<\/a>");
	}