function swapOn(obj,src) {
	obj.src = "docs/images/nav/"+src+"_b.gif";
}
function swapOff(obj,src) {
	obj.src = "docs/images/nav/"+src+"_a.gif";
}

function popSong(txt) {
	window.open('docs/mp3/'+txt+'.mp3','mp3_win','height=100,width=100');
}