// JavaScript Document

function show_layer(layer) {
	document.getElementById(layer).style.visibility = 'visible';
}

function hide_layer(layer) {
	document.getElementById(layer).style.visibility = 'hidden';
}

function hldiv (layer) {
	new Effect.Highlight(layer); 
}