5,619 typer och 3:e dito ( 10 kr .)