#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
if [ -e "$DIR/../base/usr/python" ]; then
echo 11000
else
echo 4096
fi