<!--
//No longer needed
function alt_navs(){

}
-->