﻿
// this javascript will add the name "martinipage" to the window onload of the page & reset on unload
// this is require to refresh the page instead of reopening a new window while clicking links multiple times

if (window.addEventListener) {
    window.addEventListener('load', SetMartiniPageName, false);
}
else {
    window.attachEvent('onload', SetMartiniPageName);
}

if (window.addEventListener) {
    window.addEventListener('unload', RemoveMartiniPageName, false);
}
else {
    window.attachEvent('onunload', RemoveMartiniPageName);
}

function SetMartiniPageName() {
    window.name = "martinipage";
}

function RemoveMartiniPageName() {
    window.name = null;
}

