487 kronor och Martinsen 480 kronor och 65 öre.