13 5$ s. ; Amsterdam tu .,