<!--
function preloadImages() {
    if (document.images) {
    	ui_header = new Image('ui_header.png');
    }
}
// -->