// JavaScript Document
/* 2006/08/25 header
****************************************/
function header() {
document.write('\n');
}
function floor() {
document.write('\n');
}
function floor1() {
document.write('\n');
}
function floor2() {
document.write('\n');
}
function floor3() {
document.write('\n');
}