modify Gen_J.v