function update_process(which)
{
	var i = 1;
	while(i < 10)
	{
		if(i == which)
		{
			document.getElementById('process_'+i).src='images/flow/sel_arrow.gif';
		}
		else
		{
			document.getElementById('process_'+i).src='images/flow/arrow.gif';
		}
		i = i + 1;
	}
	var div = document.getElementById('contentscroll');
	div.scrollTop=0;
	document.getElementById('portfolio').innerHTML = "<div class='logo'><img src='images/flow/"+which+".gif' alt='"+which+"' /></div><br /><h1>"+title[which]+"</h1><br />"+info[which];
}