function play(mp3){
	s=escape(mp3);
	t = s.substring(0,s.length-4);
	return "/nota/play.pike?mp3=" + (t+".mp3"==s?t:s);
}