function swap_image($new) {
	document.getElementById('view_image').src=$new;
}