In addition to navigation.js

Simple stuff :)