function open_random() {
window.open("/library/glossary/random.htm", "random", "dependent,hotkeys=no,height=300,width=325,screenX=0,screenY=0");
}