function redir(purl) {
	window.location=purl;
}