entreprenör skall ställa borgen för 10,000 kr.