// JavaScript Document
var http_str = window.location.href.toString();
document.write("<iframe name='navigation' src='/public/navigation.htm' width='760' height='43' scrolling='no' frameborder='0'></iframe>");