// JavaScript Document
function mostra(file1, file2)
{
	path="../includes/images/varie/";
	ext=".jpg";
	file1=path+file1+ext;
	file2=path+file2+ext;
	document.img1.src=file1;
	document.img2.src=file2;
	ghostlevel=document.getElementById('ghost_level');
	ghostlevel.style.display="block";
}