// $Id: all.js,v 1.3 2004/10/21 12:50:47 fa Exp $
function myopen(filename,windowname,properties) {
	top.name="main_window";
    var mywindow = window.open(filename,windowname,properties);
    mywindow.focus();
}