	<!-- Start menu images swap
	function image_swap(image_name) {
	if (document.images) {
		document.images[image_name].src =
		'images/menu/' + image_name + '-a.gif';
	}}
	function image_restore(image_name) {
	if (document.images) {
		document.images[image_name].src = 
		'images/menu/' + image_name + '.gif';
	}}
	// End -->