What is Depok?
{{Infobox settlement |official_name = Depok |settlement_type = [[List of regencies and cities of Indonesia|City]] | native_name_lang = id | other_name = | translit_lang1 = Other | translit_lang1_type1 = [[Sundanese alphabet|Sundanese]] | translit_lang1_info1 = {{lang|su|ᮓᮦᮕᮧᮊ᮪}} |image_skyline = Depok Skyline.jpg |imagesize = |image_caption = |image_flag = |image_seal = |image_shield = |nickname = {{lang-id|Kota Petir}}<br>{{lang-en|City of Lightning}} |motto = |image_map = Map of West Java highlighting Depok City.svg |mapsize = |map_caption = Location within [[West Java]] |pushpin_map = Indonesia_Java#Indonesia |pushpin_label_position = right |pushpin_map_caption = Location in [[Java]] and [[Indonesia]] |coordinates = {{coord|6.3940|S|106.8225|E|region:ID-JB_type:regency|format=dms|display=inline,title}} |subdivision_type = [[List of sovereign states|Country]] |subdivision_name = {{nowrap|{{flag|Indonesia|size=23px}}}} |subdivision_type1 = [[Provinces of Indonesia|Province]] |subdivision_type2 = |subdivision_name1 = {{flagicon image|Flag of West Java (vectorised).svg}} [[West Java]] ---- |subdivision_name2 = |established_title = <!-- Settled --> |established_date = |established_title2 = <!-- Incorporated (town) --> |established_date2 = |established_title3 = <!-- Incorporated (city) --> |established_date3 = |government_type = |leader_title = Mayor |leader_name = Idris Abdul Shomad |leader_title1 = Vice Mayor |leader_name1 = Imam Budi Hartono |area_magnitude = |area_total_km2 = 200.29 |area_total_sq_mi = |area_land_km2 = |area_land_sq_mi = |area_water_km2 = |area_water_sq_mi = |area_water_percent = |area_urban_km2 = |area