sentences:  "Captain Marvel" #19 and "Captain Marvel, Jr." #19 announced the forthcoming replacement of these heroes, and with issue number 25 of each title, both cover-dated 3 February 1954, they were retitled as "Marvelman" and "Young Marvelman".