IS ( 6001 .)