function change_pic (picurl,pic_num) 
{	
	var x = pic_num;
	var p = 'p'+x;		
	document.getElementById(p).src = picurl;
}