Noteringarna å prima gjuterieokes är25