/* swappic
*********************/
function swappic(pic){
	document.getElementById('bigpic').src = pic;
}