var buildMenu = function() {
	/* ===== Create a placeholder menu if one is not present ===== */
	if (!document.getElementById("menu"))
	{
		var div_menu = document.createElement('div');
		div_menu.setAttribute('id', 'menu');
		div_menu.innerHTML = '<ul id="icon">' + 
							 '	<li><a href="http://thestar.com.my" title="The Star Online"><img src="/menuv10/images/i-online.gif" title="The Star Online" alt="The Star Online" /></a></li>' + 
							 '	<li><a href="/" title="The Star Online : Videos"><img src="/menuv10/images/i-home.gif" title="The Star Online : Videos" alt="The Star Online : Videos" /></a></li>' + 
							 '</ul>' + 
							 '<ul>' + 
							 '</ul>';
							   
		document.getElementById('main_body').appendChild(div_menu);
	}
}


/* ===== For Mozilla browsers ===== */
if (document.addEventListener) 
{document.addEventListener("DOMContentLoaded", buildMenu, false);}

/* ===== For Safari ===== */
window.onload = buildMenu;


/* ===== IE Calls the buildMenu function in fix_menu_ie6_hover.js ===== */