read "v1" =
read "v2" =
read "v3" =
read "v4" =

v1 0 index v1 1 index 10 * + p