function show_div ( div_name )
{
	var this_div = document.getElementById( div_name );
	if( this_div.style.display == "none" )
	{
		this_div.style.display = "block";
	}
	else
	{
		this_div.style.display = "none";
	}
}

function redirect( target_link ) 
{
	window.location.href = target_link;
}

function swap_img( new_img, old_img_id )
{
	var big_one = document.getElementById( old_img_id );
	big_one.src = new_img;
}