A snippet of Javascript