// This script is loaded as part of the head of each page.
// It could be used to reformat or replace the pagetitle
// or to change units or to verify a user name.
// At the moment it does nothing.
function init(){
}