function setpic(pic)
{
	if(document.getElementById('mainpic'))
		document.getElementById('mainpic').src = pic;
}