name = 'MAIN'; 
	
function myopen(filename,windowname,properties) {
	mywindow = window.open(filename,windowname,properties);
	mywindow.focus(); }

function toggle(eid) {
	element = document.getElementById(eid);
	element.style.display = (element.style.display == 'none' ? 'block' : 'none');
}