function do_print() {
  if (parent && parent.mainFrame)
    parent.mainFrame.print();
  else
    window.print();
}