// JavaScript Document
function stopError() {
	return true;
}
window.onerror = stopError;

function close_window() { //v1.0
    window.close();
}


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

function goHist(a) //v1.0
{
   history.go(a);     
}