/* redirect */
function redirect( loc ) {
	window.location=loc;
}