v x = : 5 - Sjt 9=