England fan jumps into an Amsterdam canal var iwMenuArray = iwMenuArray || {}; iwMenuArray["recordPage"]={"title":"Record options"};iwMenu.menuVisibility("recordPage")