var currentGallery = 1;
var galleryPics_count;
var galleryPics_current = 1;

window.onload = function(e) {
	var picNo = parseInt(Math.random()*7)+1;
	if (document.getElementById('top_picture')) {
		document.getElementById('top_picture').src = '/pasold/images/pics/pic_'+picNo+'.gif';
	}
}

function showLayer(which) {
	document.getElementById(which).style.display = '';
}

function hideLayer(which) {
	document.getElementById(which).style.display = 'none';
}