och konungen tät koka ett antal af dem olja och uppsätta deras hufwudensäsom