cat > script <<'+-+-+-+-+-END-OF-FILE-+-+-+-+-+'
select phone from personnel dump where name = 'Mosca'	
+-+-+-+-+-END-OF-FILE-+-+-+-+-+
chmod 755 script
cat > stdout <<'+-+-+-+-+-END-OF-FILE-+-+-+-+-+'
5442243
+-+-+-+-+-END-OF-FILE-+-+-+-+-+
chmod 644 stdout
cat > tag <<'+-+-+-+-+-END-OF-FILE-+-+-+-+-+'
Get Mosca's phone number in dump format.
+-+-+-+-+-END-OF-FILE-+-+-+-+-+
chmod 644 tag
