#!/bin/sh
echo 7.2

