#!/usr/bin/env bash
#

if [ $1 = -g ]
then
	echo "1.3.6.42.69.13"
	echo "INTEGER"
	cat /var/www/hardbrugg.ch/data/disch.data
fi

# EOF