12S ) ^ u 128.