with (document) { write ('

'); write ('Home'); if (document.title == "Overview") write ('Overview'); else write ('Overview'); if (document.title == "File screen") write ('File screen'); else write ('File screen'); if (document.title == "Key screen") write ('Key screen'); else write ('Key screen'); if (document.title == "Detail screen") write ('Detail screen'); else write ('Detail screen'); if (document.title == "Report screen") write ('Report screen'); else write ('Report screen'); if (document.title == "Starting values window") write ('Starting values'); else write ('Starting values'); if (document.title == "Where criteria window") write ('Where criteria'); else write ('Where criteria'); if (document.title == "Edit mask window") write ('Edit masks'); else write ('Edit masks'); if (document.title == "Modifying data") write ('Modifying data'); else write ('Modifying data'); if (document.title == "Other features") write ('Other features'); else write ('Other features'); write ('

'); }