<!--
function goHist(a)
{
history.go(a);
}
//-->