~ ' ( 8001 .)