function showPage(theURL,theSize) {
  window.open(theURL,"",theSize);
}