// returns whether the ENTER key is pressed or not
function isEnterPressed(e) {
	return ((typeof event != "undefined") && (event.keyCode == 13)) || (e.which == 13);
}