/* This is some sample Javascript */

function hello_world(event){
  event.stopPropagation();
}