#!/bin/bash
echo 7500 | ./execute.sh <(compile.sh)