Rostok - населенный пункт в 1939, который принадлежал к и находился в административном районе Semil.
Rostok ранее принадлежал к Германской империи. В составе Германской империи населенный пункт назывался Rostoky. Сейчас населенный пункт называется Roztoky u Semil и принадлежит к Чехословакия.