0000000712;8.94427;6;0