function writeMenu(){
	var txt='<a href="/index.html">HOME</a>&nbsp&nbsp/&nbsp&nbsp;<a href="/mixes.html">MIXES</a>&nbsp&nbsp/&nbsp&nbsp;<a href="/info.html">INFO</a>&nbsp&nbsp/&nbsp&nbsp;<a href="http://dollarbinjamsonline.blogspot.com/" target="_blank">BLOG</a>';
	document.getElementById("navMenu").innerHTML=txt;
}