( 9525 ) Gamla torgeti