Josephson current through a superconducting quantum point contact shorter than the coherence length.