< font color ="# 0000ff "> if </ font > pos > 0 < font color ="# 0000ff "> then </ font >
< font color ="# 0000ff "> if </ font > pos > 0 < font color ="# 0000ff "> then </ font >
0.004 seconds.
< font color ="# 0000ff "> if </ font > pos > 0 < font color ="# 0000ff "> then </ font >
< font color ="# 0000ff "> if </ font > pos > 0 < font color ="# 0000ff "> then </ font >
0.004 seconds.