function runPRE()
{
document.write('\n');
document.write(' \n');
}
function runMAIN()
{
document.write('\n');
document.write(' \n');
}
function runMAINSmall()
{
document.write('\n');
document.write(' \n');
}
function runLOGO()
{
document.write('\n');
document.write(' \n');
}
function runPSAI()
{
document.write('\n');
document.write(' \n');
}