function windowPrint(arg){
  var url = arg+"";  
  window.open(url,'Preview',"scrollbars=1,width=800,height=600");
  return false;
}

function showHistory(arg){
  var node = document.getElementById('articleHistory');
  var state = node.style.display;
  if (state=="block") {
	  node.style.display="none";
  } else if (state=="none"){
	  node.style.display="block";
  } else 
	  node.style.display="block";
}


// And here is the end.