function showSong(a) {
	document.getElementById('song_link'+a).style.display = "none";
	document.getElementById('song_box'+a).style.display = "block";
	document.getElementById('song_box'+a).style.border = "1px dashed #ff0000";
}

function hideSong(a) {
	document.getElementById('song_link'+a).style.display = "block";
	document.getElementById('song_box'+a).style.display = "none";
}