function show(imagename, header) {
	document.getElementById('view_image').src='technical/files' + imagename;
	document.getElementById('view_header').innerHTML = header;
	document.getElementById('tohide').style.display='none';
	document.getElementById('toshow').style.display='block';
}

function hide() {
	document.getElementById('view_image').src = 'technical/files/fill.jpg';
	document.getElementById('toshow').style.display='none';
	document.getElementById('tohide').style.display='block';

}