keyintegerppage endpagerec record minteger(*no of entries on page* pageearray * of entry endvar rootpagewtexts writerprocedure search (xintegervar ppagevar kinteger)var ilrintegerfoundbooleanapagebegin :rootfound :falsewhile ( nil~found do : : (*binary search*while do :( +rdiv if < [ikey then : else : + end endif ( ( [rkey xthen found :true elsif then : else : [ - end endp :ak : end searchprocedure insert (xintegerapagevar hbooleanvar ventry)(* nil search key in -tree with rool ainsert new item with key if an entry is to be passed upassign it to :"tree has become higher"*var ilrintegerbpageuentrybegin (~ *if nil then key :xv :nilh :true else : : (*binary search*while do :( +rdiv if < [ikey then : else : + end endif ( ( [rkey xthen (*founddo nothing*else (*item not on this page*if then : else : [ - endinsert(xbhu)if then (*insert to the leeft of [ ]*if * then :false