function showImage(image_id){
	document.getElementById('pictureBox').style.display = 'block';
	if(document.getElementById('flashBox'))document.getElementById('flashBox').style.display = 'none';
	document.getElementById('bigImg').src = images[image_id];
}

function showFlash(movie){
	document.getElementById('pictureBox').style.display = 'none';
	document.getElementById('flashBox').style.display = 'block';
	document.getElementById('flashObj').src = movie;
}