En 1842 se denominaba Sanjenjo.