function show_mp3(name)
{
	//alert("está a funcionar!");
	if(name=='originais') parent.frames['wdmp3'].location='mp3_originais.htm';
	else if(name=='covers') parent.frames['wdmp3'].location='mp3_covers.htm';
	else if(name=='videos') parent.frames['wdmp3'].location='mp3_videos.htm';
}