default:
	echo 'Hello, world!'
