function goBack() {
history.go(-1);
}
function verify() {
var themessage = "";
if (document.delCode.whichRepo.value=="x") {
themessage += "Sorry, there are no repos to delete!<br/>";
}
if (themessage == "") {
document.delCode.submit();
} else {
$("#formErrors").html('<div id="formErrors"><div class="err"><div class="bubble"><h3>Error!</h3>'+themessage+'</div></div></div>');
scrollTo('main');
return false;
}
}