function renderMenu() {
var menu = document.getElementById('menuDiv');
var menuHtml = '';
menuHtml = menuHtml.replace(/href=\"\//g, 'href="http://www.tibco.com/');
menuHtml = menuHtml.replace(/src=\"\//g, 'src="http://www.tibco.com/');
menu.innerHTML = menuHtml;
}
