CUPERTINO PUBLIC FACILITIES CORP