function play(url) {
	win=window.open(url,"_earsenseplayer","toolbar=no,menubar=no,scrollbars=no,resize=yes,width=200,height=125");
}