jsp.awk: navigate