// JavaScript Document
<!--
function nav(x) {
history.go(x);
}
//-->