var names=new Array("_images/4.gif","_images/5.gif","_images/8.gif","_images/1.gif");
var imgs=new Array();

function showImage( nr ){
	document.getElementById('lehmann').src = names[nr];
}
function restoreImage(){
	document.getElementById('lehmann').src = names[3];
}