<!--
//display pop-up menu
function show_menu(id, activator){
	var pop_menu = document.getElementById(id);

	pop_menu.style.visibility = 'visible';
	pop_menu.style.display = 'block';
	
	top = activator.offsetTop;	left = activator.offsetLeft;
	pop_menu.style.left = left + "px";	pop_menu.style.top = (top + activator.offsetHeight) + "px";
}
function hide_menu(id){
	var pop_menu = document.getElementById(id);

	pop_menu.style.visibility = 'hidden';
	pop_menu.style.display = 'none';

}
function select_all(text){
	var select_text = eval(text);

	select_text.focus();	select_text.select();}
-->