Also known as Dipanegara