// JavaScript Document - Interim fix for submenu headings
function donothing(){
}