设0是三角形ABC内一点,且向量OA+向量OB+4向量OC=0,S三角形ABC=9,则S三角形ABO=?