function myPic(a) {
	document.getElementById('myPic').src='images/1/' + a + '_gr.jpg';
}

function picClick(a) {
	document.getElementById('pix').src='' + a + '_gr.jpg';
}