<!--
function definition_window(def) {
	window.open(def, "definition", "width=260,height=200,scrollbars");
}
// -->