function F1() { document.write(" "); } function F2() { document.write(" "); } function F3() { document.write(" "); } function F4() { document.write(" "); }