function doPrint()
{
  print();
}