function showpic( picname )
{
	document.getElementById("picture").src = picname;
}