/* swap_images.js */

function swap( $img )
 {
	document.getElementById('main_img').src = $img;
	}