function open_win (filename)
{
    var win=window.open (filename);
    win.focus();
}