function printVersion (url) {

  if (currentStylesheet == 'smaller') {
    location.href = url + '&stylesheet=smaller';
  }
  else if (currentStylesheet == 'smallest') {
    location.href = url + '&stylesheet=smallest';
  }
  else {
    location.href = url;
  }
  
  return false;

}