We aim to reveal properties of evolution stages in AGB phase; Mira, OH/IR stars, and non-variable OH/IR stars. We presented results of our VLBI observations of four stars; NSV17351, OH39.7+1.5, IRC–30363, and AW Tau. We used the VERA VLBI array to observe 22 GHz H2O masers. Parallaxes of the four sources were obtained to be 0.247±0.035 mas (4.05±0.59 kpc), 0.54±0.03 mas (1.85±0.10 kpc), 0.562±0.201 mas (1.78±0.73 kpc), and 0.449±0.032 mas (2.23±0.16 kpc). Determination of pulsation period of NSV17351 was done for the first time. We revealed the position and kinematics of NSV17351 in our Galaxy and found that NSV17351 is located in an interarm region. A new period-magnitude relationship was indicated in the infrared region. Various other properties based on the distance measurements are also discussed. We have to emphasize that the VLBI astrometry is effective and the only way for parallax measurements of dust obscured OH/IR stars.