int doc() { return 7;}
