function open_window(url, win_width, win_height, pos_left, pos_top) 
{
        var h = win_height;
	newWindow = window.open(url,"ins","width="+win_width+",height="+
	h+",left="+pos_left+",top="+pos_top+",scrollbars=yes, resizable=yes");
	newWindow.focus();
}

function close_window()
{
  window.close();
  return true;
} 

function js_confirm (msg, txt)
{                                                                                 
  return confirm(msg+"\n"+txt);
}