Removed some obsolete, unused Javascript functions.