#!/bin/bash
CodeThemed=$(dirname "$0")
exec "${CodeThemed}"/CodeThemed_