det belopp , 640,000 kr. , för hvilketbyggmästare