function a1()
{
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
}
function a2()
{
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
}
function a3()
{
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
}
function a4()
{
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
document.write(' \n');
}