with (document) { write ('

'); write ('Introduction'); write ('User Guide'); write ('Installation Guide'); // write ('Other'); write ('

'); }