Delete navigation.js~