// Some common Javascript functions
// © 2007 Keith Halstead and Options Tonbridge
// Last updated: 2007-12-30

pageloaded = false;