function open_definition( page_title )
{
	mydef = window.open(page_title, 'definition', 'toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=no,copyhistory=no,width=350,height=375' );
	mydef.focus();
}