// This document contains misc helper functions

//Navigation
//helper function to redirect user
function newLocation(newLoc)  {
	window.location=newLoc;
}