added javascript to replace favicon in case the main favicon.ico file cannot be replaced