prover getLocation