<!--
function indietrotx() { 
window.document.text.history.back(); 
}
//-->