KERNEL $0.19