// JavaScript Document

function custom_print() { // version nettement simplifiee
	window.print();
}

function goHist(a) 
{
   history.go(a);     
}