In Indonesian, ancient temples are known as candi; thus "Borobudur Temple" is locally known as Candi Borobudur. The term candi is also used more loosely to describe any ancient structure, for example gates and bathing structures. The origins of the name Borobudur however are unclear,[7] although the original names of most ancient Indonesian temples are no longer known.[7] The name Borobudur was first written in Sir Thomas Raffles' book on Javan history.[8] Raffles wrote about a monument called borobudur, but there are no older documents suggesting the same name.[7] The only old Javanese manuscript that hints at the monument as a holy Buddhist sanctuary is Nagarakretagama, written by Mpu Prapanca in 1365.