//

// Copyright 1999-2006 Duckware

//

function pmvrprintln(s) {

  document.writeln(s);

  }