several locations were proposed; mohammad hatta, indonesian vice president, suggested that the mosque should be built near residential areas on thamrin avenue, on a plot where hotel indonesia stands today. however, sukarno insisted that a national mosque should be located near the most important square of the nation, near the merdeka palace. this is in accordance with the javanese tradition that the "kraton" (king's palace) and "masjid agung" (grand mosque) should be located around the "alun-alun" (main javanese city square), which means it must be near merdeka square. sukarno also insisted that the national mosque should be built near jakarta cathedral and immanuel church, to symbolize religious harmony and tolerance as promoted in pancasila (the indonesian national philosophy and the five principles which constitute the philosophical foundation of indonesian nationhood). it was later decided that the national mosque was going to be built in taman widjaja kusuma (formerly wilhelmina park), in front of the jakarta cathedral. to make way for the mosque, the citadel prins frederick, built in 1837, was demolished.