#!/bin/sh

echo "Revision: 123456"
exit 0
