//
// Copyright 1999-2006 Duckware
//
function pmvrprintln(s) {
  document.writeln(s);
  }