Pemugaran gedung STOVIA : gedung Stovia dalam pemugaran bulan Oktober 1973 (1973)