blef alltså 18 : 01 , hvartill korta med diskonto omsattes.